Publications
Export 7151 results:
Author Title [ Type] Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2010. Moving vistas: Exploiting motion for describing scenes. 2010 IEEE Conference on Computer Vision and Pattern Recognition (CVPR). :1911-1918.
2012. Mr. LDA: A Flexible Large Scale Topic Modeling Package using Variational Inference in MapReduce. Proceedings of ACM International Conference on World Wide Web, 2012.
2011. Multi-agent event recognition in structured scenarios. Computer Vision and Pattern Recognition (CVPR), 2011 IEEE Conference on. :3289-3296.
2008. Multi-biometric cohort analysis for biometric fusion. Acoustics, Speech and Signal Processing, 2008. ICASSP 2008. IEEE International Conference on. :5224-5227.
2000. Multi-camera networks: eyes from eyes. IEEE Workshop on Omnidirectional Vision, 2000. Proceedings. :11-18.
1998. Multicommodity flow and circuit switching. , Proceedings of the Thirty-First Hawaii International Conference on System Sciences, 1998. 7:459-465vol.7-459-465vol.7.
2004. Multi-dimensional quorum sets for read-few write-many replica control protocols. Cluster Computing and the Grid, 2004. CCGrid 2004. IEEE International Symposium on. :355-362.
2000. A multi-level approach to interlingual machine translation: defining the interface between representational languages. Natural language processing and knowledge representation. :207-248.
2004. Multi-level fast multipole method for thin plate spline evaluation. Image Processing, 2004. ICIP '04. 2004 International Conference on. 3:1683-1686Vol.3-1683-1686Vol.3.
2009. Multilingual topic models for unaligned text. Proceedings of the Twenty-Fifth Conference on Uncertainty in Artificial Intelligence. :75-82.
2001. Multimodal 3-D tracking and event detection via the particle filter. IEEE Workshop on Detection and Recognition of Events in Video, 2001. Proceedings. :20-27.
2001. Multimodal localization of a flying bat. Acoustics, Speech, and Signal Processing, IEEE International Conference on. 5:3057-3060.
2008. Multimodal question answering for mobile devices. Proceedings of the 13th international conference on Intelligent user interfaces. :405-408.
2001. Multimodal tracking for smart videoconferencing. Second International Conference on Multimedia and Expo, Tokyo, Japan.
2007. Multimodal Tracking for Smart Videoconferencing and Video Surveillance. Computer Vision and Pattern Recognition, 2007. CVPR '07. IEEE Conference on. :1-2.
2009. Multiple instance Feature for robust part-based object detection. Computer Vision and Pattern Recognition, 2009. CVPR 2009. IEEE Conference on. :405-412.
2002. Multiple Query Optimization for Data Analysis Applications on Clusters of SMPs. 2nd IEEE/ACM International Symposium on Cluster Computing and the Grid, 2002. :154-154.
2006. Multiple range query optimization with distributed cache indexing. Proceedings of the 2006 ACM/IEEE conference on Supercomputing. :100–es-100–es.
1993. Multiple Resource Allocation for Multiprocessor Distributed Real-Time Systems. In Workshop on Parallel and Distributed Real-Time Systems (PDRTS), IEEE IPPS'93.
2002. Multiple scattering from N spheres. Antennas and Propagation Society International Symposium, 2002. IEEE. 2:90-93.
1990. Multiple underlying systems: Translating user requests into programs to produce answers. Proceedings of the 28th annual meeting on Association for Computational Linguistics. :227-234.