Publications

Export 7151 results:
Author Title [ Type(Asc)] Year
Conference Papers
Cleaveland R, Parrow J, Steffen B.  1990.  The concurrency workbench. Automatic Verification Methods for Finite State Systems. :24-37.
Cleaveland R, Lewis P, Smolka S, Sokolsky O.  1996.  The Concurrency Factory: A development environment for concurrent systems. Computer Aided Verification. :398-401.
Mohammad S, Dorr BJ, Hirst G.  2008.  Computing word-pair antonymy. Proceedings of the Conference on Empirical Methods in Natural Language Processing. :982-991.
Srinivasan A, Zuckerman D.  1994.  Computing with very weak random sources. , 35th Annual Symposium on Foundations of Computer Science, 1994 Proceedings. :264-275.
Bazinet AL, Cummings MP.  2011.  Computing the Tree of Life: Leveraging the Power of Desktop and Service Grids. Parallel and Distributed Processing Workshops and Phd Forum (IPDPSW), 2011 IEEE International Symposium on. :1896-1902.
Kanungo T, Mount D, Netanyahu NS, Piatko C, Silverman R, Wu AY.  1999.  Computing nearest neighbors for moving points and applications to clustering. Proceedings of the tenth annual ACM-SIAM symposium on Discrete algorithms. :931-932.
Celikkan U, Cleaveland R.  1992.  Computing diagnostic tests for incorrect processes. Proc. IFIP WG6. 1 12th Intl. Symp. on Protocol Specification, Testing, and Verification. :263-278.
Li J, Deshpande A, Khuller S.  2010.  On Computing Compression Trees for Data Collection in Wireless Sensor Networks. 2010 Proceedings IEEE INFOCOM. :1-9.
Horprasert T, Yacoob Y, Davis LS.  1996.  Computing 3-D head orientation from a monocular image sequence. Automatic Face and Gesture Recognition, 1996., Proceedings of the Second International Conference on. :242-247.
Greif I, Curtis B, Krasner H, Malone TW, Shneiderman B.  1987.  Computer-supported cooperative work (panel): is this REALLY a new field of research? Proceedings of the SIGCHI/GI conference on Human factors in computing systems and graphics interface. :227-228.
Sen M, Corretjer I, Haim F, Saha S, Bhattacharyya SS, Schlessman J, Wolf W.  2005.  Computer vision on FPGAs: Design methodology and its application to gesture recognition. Computer Vision and Pattern Recognition-Workshops, 2005. CVPR Workshops. IEEE Computer Society Conference on. :133-133.
Poole EShehan, Chetty M, Morgan T, Grinter RE, W. Edwards K.  2009.  Computer Help at Home: Methods and Motivations for Informal Technical Support. SIGCHI '09. :739-748.
Thakur A, Gupta SK.  2010.  A Computational Framework for Real-Time Unmanned Sea Surface Vehicle Motion Simulation. 3:51-61.
Peng T, Gupta SK.  2006.  A computational framework for point cloud construction using digital projection patterns.
Mount D, Netanyahu NS, Piatko CD, Silverman R, Wu AY.  2004.  A computational framework for incremental motion. Proceedings of the twentieth annual symposium on Computational geometry. :200-209.
Seydou F, Ramahi O, Duraiswami R, Seppdnen T.  2004.  Computation of Green's function for finite-size photonic crystals by boundary element method. Antennas and Propagation Society International Symposium, 2004. IEEE. 4:4320-4323Vol.4-4320-4323Vol.4.
Cevher V, Gurbuz AC, McClellan JH, Chellappa R.  2008.  Compressive wireless arrays for bearing estimation. Acoustics, Speech and Signal Processing, 2008. ICASSP 2008. IEEE International Conference on. :2497-2500.
Puthenpurayil S, Gu R, Bhattacharyya SS.  2006.  Compression techniques for minimum energy consumption. 25th Army Science Conference.
Pugh W.  1999.  Compressing Java class files. ACM SIGPLAN Notices. 34:247-258.
Deligiannakis A, Kotidis Y, Roussopoulos N.  2004.  Compressing historical information in sensor networks. Proceedings of the 2004 ACM SIGMOD international conference on Management of data - SIGMOD '04. :527-527.
Patel VM, Easley GR, Healy DM, Chellappa R.  2009.  Compressed sensing for Synthetic Aperture Radar imaging. 2009 16th IEEE International Conference on Image Processing (ICIP). :2141-2144.
Reddy D, Sankaranarayanan AC, Cevher V, Chellappa R.  2008.  Compressed sensing for multi-view tracking and 3-D voxel reconstruction. Image Processing, 2008. ICIP 2008. 15th IEEE International Conference on. :221-224.
Kobla V, Doermann D, Lin K-I, Faloutsos C.  1997.  Compressed Domain video indexing techniques using DCT and motion vector information in MPEG video. Proceedings of SPIE - conference on Storage and Retrieval for Image and Video Databases V. :200-211.
Neumann J, Fermüller C, Aloimonos Y, Brajovic V.  2004.  Compound eye sensor for 3D ego motion estimation. 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2004. (IROS 2004). Proceedings. 4:3712-3717vol.4-3712-3717vol.4.
North C, Shneiderman B.  2001.  Component-based, user-constructed, multiple-view visualization. CHI '01 extended abstracts on Human factors in computing systems. :201-202.

Pages