Publications
Export 1858 results:
Author Title [ Type] Year Filters: First Letter Of Last Name is C [Clear All Filters]
1996. Efficient model checking via the equational μ-calculus. , Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96. Proceedings. :304-312.
1995. Efficient on-the-fly model checking for CTL. , Tenth Annual IEEE Symposium on Logic in Computer Science, 1995. LICS '95. Proceedings. :388-397.
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.
2005. Efficient temporal-logic query checking for presburger systems. Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering. :24-33.
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.
2008. Embedding and similarity search for point sets under translation. Proceedings of the twenty-fourth annual symposium on Computational geometry. :320-327.
1988. An empirical comparison of pie vs. linear menus. Proceedings of the SIGCHI conference on Human factors in computing systems. :95-100.
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.
2009. Enforcing integrability by error correction using ℓ1-minimization. Computer Vision and Pattern Recognition, 2009. CVPR 2009. IEEE Conference on. :2350-2357.
2009. Enhancing sparsity using gradients for compressive sensing. Image Processing (ICIP), 2009 16th IEEE International Conference on. :3033-3036.
2011. Entropy rate superpixel segmentation. 2011 IEEE Conference on Computer Vision and Pattern Recognition (CVPR). :2097-2104.
2007. Epitomic Representation of Human Activities. Computer Vision and Pattern Recognition, 2007. CVPR '07. IEEE Conference on. :1-8.
2007. Epitomic Representation of Human Activities. Computer Vision and Pattern Recognition, 2007. CVPR '07. IEEE Conference on. :1-8.
2015. Estimating Actin Fiber Orientation using Interpolation-Based Grey-Level Co-Occurrence Matrix Computation. BioImage Informatics Conference .
1990. Evaluation criteria for functional specifications. Proceedings of the 12th international conference on Software engineering. :26-33.
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.
2010. Evaluation of state-of-the-art algorithms for remote face recognition. Image Processing (ICIP), 2010 17th IEEE International Conference on. :1581-1584.
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.