Publications
Export 7151 results:
Author [ Title] Type Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2003. Face reconstruction from monocular video using uncertainty analysis and a generic model. Computer Vision and Image Understanding. 91(1–2):188-213.
2011. Face Tracking and Recognition in a Camera Network. Multibiometrics for Human IdentificationMultibiometrics for Human Identification.
2011. Face Tracking and Recognition in Video. Handbook of Face RecognitionHandbook of Face Recognition. :323-351.
2011. Face tracking in low resolution videos under illumination variations. 2011 18th IEEE International Conference on Image Processing (ICIP). :781-784.
2006. Face Verification Across Age Progression. Image Processing, IEEE Transactions on. 15(11):3349-3361.
2010. Face Verification Across Age Progression Using Discriminative Methods. Information Forensics and Security, IEEE Transactions on. 5(1):82-91.
2011. Face verification using large feature sets and one shot similarity. Biometrics (IJCB), 2011 International Joint Conference on. :1-8.
2004. Facial similarity across age, disguise, illumination and pose. Image Processing, 2004. ICIP '04. 2004 International Conference on. 3:1999-2002Vol.3-1999-2002Vol.3.
1993. Facilitating Data Exploration: Dynamic Queries On A Health Statistics Map. Proc. of the Government Statistics Section, Annual Meeting of the American Statistical Assoc. Conf. Proc, pg. :18-23.
2000. Facilitating data exploration with query previews: A study of user performance and preference. Behaviour & Information Technology. 19(6):393-403.
1998. Facilitating Network Data Exploration with Query Previews: A Study of User Performance and Preference. Technical Reports of the Computer Science Department.
2001. Facilitating semantic web search with embedded grammar tags. IJCAI Workshop on E-Business and Intelligent Web.
2004. Facilitating understanding of information visualizations: emerging principles and examples. Eighth International Conference on Information Visualisation, 2004. IV 2004. Proceedings.
1998. Facility Location with Dynamic Distance Functions. Journal of Combinatorial Optimization. 2(3):199-217.
2003. A Factorization Approach for Activity Recognition. Computer Vision and Pattern Recognition Workshop, 2003. CVPRW '03. Conference on. 4:41-41.
2005. A Factorization Method for Structure from Planar Motion. Application of Computer Vision, 2005. WACV/MOTIONS '05 Volume 1. Seventh IEEE Workshops on. 2:154-159.
2008. Factorized variational approximations for acoustic multi source localization. Acoustics, Speech and Signal Processing, 2008. ICASSP 2008. IEEE International Conference on. :2409-2412.
1997. Families of Stationary Patterns Producing Illusory Movement: Insights into the Visual System. Proceedings of the Royal Society of London. Series B: Biological SciencesProc. R. Soc. Lond. B. 264(1383):795-806.
2011. A family of abstract interpretations for static analysis of concurrent higher-order programs. arXiv:1103.5167 [cs].
1995. A Family of User Interface Consistency Checking Tools. Institute for Systems Research Technical Reports.
1995. A Family of User Interface Consistency Checking Tools: Design and Development of SHERLOCK. Proceedings of the Twentieth Annual Software Engineering Workshop. (NASA no. 19990027806)
2011. A Fast Algorithm for Constructing Inverted Files on Heterogeneous Platforms. Parallel Distributed Processing Symposium (IPDPS), 2011 IEEE International. :1124-1134.
2008. A Fast Algorithm for Learning a Ranking Function from Large-Scale Data Sets. Pattern Analysis and Machine Intelligence, IEEE Transactions on. 30(7):1158-1170.