Publications
Export 7148 results:
[ Author
] Title Type Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2010. An animated multivariate visualization for physiological and clinical data in the ICU. Proceedings of the 1st ACM International Health Informatics Symposium. :771-779.
2008. Combining Speech Retrieval Results with Generalized Additive Models. ACL'08: Proceedings of the 2008 Conference of the Association for Computational Linguistics.
2007. Improving text classification for oral history archives with temporal domain knowledge. Proceedings of the 30th annual international ACM SIGIR conference on Research and development in information retrieval. :623-630.
1997. Implicit object constructions and the (in) transitivity continuum. 33rd Proceedings of the Chicago Linguistic Society. :327-336.
1998. Enhancing Automatic Acquisition of Thematic Structure in a Large-Scale Lexicon for Mandarin Chinese. Machine Translation and the Information SoupMachine Translation and the Information Soup. 1529:41-50.
2000. Telicity as a cue to temporal and discourse structure in Chinese-English machine translation. :34-41.
1998. On the convergence of a new Rayleigh quotient method with applications to large eigenproblems. Electronic Transactions on Numerical Analysis. 7:182-189.
1999. Page Segmentation and Zone Classification: The State of the Art. LAMP-TR-036,CAR-TR-927,CS-TR-4079
2011. A large-scale benchmark dataset for event recognition in surveillance video. Computer Vision and Pattern Recognition (CVPR), 2011 IEEE Conference on. :3153-3160.
2011. AVSS 2011 demo session: A large-scale benchmark dataset for event recognition in surveillance video. Advanced Video and Signal-Based Surveillance (AVSS), 2011 8th IEEE International Conference on. :527-528.
2005. Shape and the stereo correspondence problem. International Journal of Computer Vision. 65(3):147-162.
2005. Robust Contrast Invariant Stereo Correspondence. Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 2005. ICRA 2005. :819-824.
2007. View-invariant modeling and recognition of human actions using grammars. Dynamical Vision. :115-126.
2004. Stereo Correspondence with Slanted Surfaces: Critical Implications of Horizontal Slant. Computer Vision and Pattern Recognition, IEEE Computer Society Conference on. 1:568-573.
2007. A roadmap to the integration of early visual modules. International Journal of Computer Vision. 72(1):9-25.
2005. Motion segmentation using occlusions. IEEE Transactions on Pattern Analysis and Machine Intelligence. 27(6):988-992.
2004. The influence of shape on image correspondence. 2nd International Symposium on 3D Data Processing, Visualization and Transmission, 2004. 3DPVT 2004. Proceedings. :945-952.
2005. Using Dynamic Tracing Sampling to Measure Long Running Programs. Proceedings of the 2005 ACM/IEEE conference on Supercomputing. :59–-59–.
2001. CLEF experiments at Maryland: Statistical stemming and backoff translation. Cross-Language Information Retrieval and Evaluation. :176-187.
2002. Translation-based indexing for cross-language retrieval. Advances in Information Retrieval. :425-447.
2006. Cross-Language Access to Recorded Speech in the MALACH Project. Text, Speech and DialogueText, Speech and Dialogue. 2448:197-212.
1995. Experimental investigation of high performance cognitive and interactive text filtering. , IEEE International Conference on Systems, Man and Cybernetics, 1995. Intelligent Systems for the 21st Century. 5:4398-4403vol.5-4398-4403vol.5.
1999. Effects of term segmentation on Chinese/English cross-language information retrieval. String Processing and Information Retrieval Symposium, 1999 and International Workshop on Groupware. :149-157.
2002. Evaluating Arabic Retrieval from English or French Queries: The TREC-2001 Cross-Language Information Retrieval Track. Proceedings of the Post Workshop of LREC.