Publications

Export 1858 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Last Name is C  [Clear All Filters]
Conference Papers
Bhat G, Cleaveland R.  1996.  Efficient model checking via the equational μ-calculus. , Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96. Proceedings. :304-312.
Bhat G, Cleaveland R, Grumberg O.  1995.  Efficient on-the-fly model checking for CTL. , Tenth Annual IEEE Symposium on Logic in Computer Science, 1995. LICS '95. Proceedings. :388-397.
Cranston CB, Samet H.  2006.  Efficient position-independent iconic search using an R-theta index. Proceedings of the 14th annual ACM international symposium on Advances in geographic information systems. :27-34.
Zhang D, Cleaveland R.  2005.  Efficient temporal-logic query checking for presburger systems. Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering. :24-33.
Agrawal AK, Chellappa R.  2005.  Ego-Motion Estimation and 3D Model Refinement in Scenes with Varying Illumination. Application of Computer Vision, 2005. WACV/MOTIONS '05 Volume 1. Seventh IEEE Workshops on. 2:140-146.
Cho M, Mount D.  2008.  Embedding and similarity search for point sets under translation. Proceedings of the twenty-fourth annual symposium on Computational geometry. :320-327.
Cheng K-L, Zuckerman I, Kuter U, Nau DS.  2010.  Emergence of cooperative societies in evolutionary games. :1793-1800.
Callahan J, Hopkins D, Weiser M, Shneiderman B.  1988.  An empirical comparison of pie vs. linear menus. Proceedings of the SIGCHI conference on Human factors in computing systems. :95-100.
Molina J, Gordon J, Chorin X, Cukier M.  2007.  An empirical study of filesystem activity following a SSH compromise. :1-5.
Molina J, Gordon J, Chorin X, Cukier M.  2007.  An empirical study of filesystem activity following a SSH compromise. :1-5.
Asgari S, Basili VR, Costa P, Donzelli P, Hochstein L, Lindvall M, Rus I, Shull F, Tvedt R, Zelkowitz MV.  2004.  Empirical-based estimation of the effect on software dependability of a technique for architecture conformance verification. Proceedings of the ICSE 2004 Workshop on Architecting Dependable Systems, Edinburgh, UK.
Weinberg M, Candler R, Chandorkar S, Varsanik J, Kenny T, Duwel A.  2009.  Energy loss in MEMS resonators and the impact on inertial and RF devices. :688-695.
Weinberg M, Candler R, Chandorkar S, Varsanik J, Kenny T, Duwel A.  2009.  Energy loss in MEMS resonators and the impact on inertial and RF devices. :688-695.
Reddy D, Agrawal A, Chellappa R.  2009.  Enforcing integrability by error correction using ℓ1-minimization. Computer Vision and Pattern Recognition, 2009. CVPR 2009. IEEE Conference on. :2350-2357.
Patel VM, Easley GR, Chellappa R, Healy DM.  2009.  Enhancing sparsity using gradients for compressive sensing. Image Processing (ICIP), 2009 16th IEEE International Conference on. :3033-3036.
Liu M-Y, Tuzel O, Ramalingam S, Chellappa R.  2011.  Entropy rate superpixel segmentation. 2011 IEEE Conference on Computer Vision and Pattern Recognition (CVPR). :2097-2104.
Cuntoor NP, Chellappa R.  2007.  Epitomic Representation of Human Activities. Computer Vision and Pattern Recognition, 2007. CVPR '07. IEEE Conference on. :1-8.
Cuntoor NP, Chellappa R.  2007.  Epitomic Representation of Human Activities. Computer Vision and Pattern Recognition, 2007. CVPR '07. IEEE Conference on. :1-8.
Cardone A, Brady M, Kociolek M, Bajcsy P.  2015.  Estimating Actin Fiber Orientation using Interpolation-Based Grey-Level Co-Occurrence Matrix Computation. BioImage Informatics Conference .
Molina J, Cukier M.  2009.  Evaluating Files to Audit for Detecting Intrusions in FileSystem Data. :163-170.
Cardenas S, Zelkowitz MV.  1990.  Evaluation criteria for functional specifications. Proceedings of the 12th international conference on Software engineering. :26-33.
Peters C, Clough P, Gey F, Karlgren J, Magnini B, Oard D, De Rijke M, Stempfhuber M.  2006.  Evaluation of Multilingual and Multi-modal Information Retrieval-Seventh Workshop of the Cross-Language Evaluation Forum, CLEF 2006, Alicante, Spain, September 19-21, 2006, Revised Selected Papers. Seventh Workshop of the Cross-Language Evaluation Forum, CLEF 2006.
Ni J, Chellappa R.  2010.  Evaluation of state-of-the-art algorithms for remote face recognition. Image Processing (ICIP), 2010 17th IEEE International Conference on. :1581-1584.
Tan L, Cleaveland R.  2002.  Evidence-based model checking. Computer Aided Verification. :641-680.
Chellappa R.  2011.  The evolution of stochastic grammars for representation and recognition of activities in videos. 2011 IEEE International Conference on Computer Vision Workshops (ICCV Workshops). :688-688.

Pages