Publications
Export 7151 results:
Author Title [ Type] Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2003. Representation of non-manifold objects. Proceedings of the eighth ACM symposium on Solid modeling and applications. :304-309.
1995. Representations for active vision. Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1. :20-26.
2007. Representing and Querying Correlated Tuples in Probabilistic Databases. Data Engineering, 2007. ICDE 2007. IEEE 23rd International Conference on. :596-605.
2007. Representing Tuple and Attribute Uncertainty in Probabilistic Databases. Seventh IEEE International Conference on Data Mining Workshops, 2007. ICDM Workshops 2007. :507-512.
2006. Reranking for Sentence Boundary Detection in Conversational Speech. 2006 IEEE International Conference on Acoustics, Speech and Signal Processing, 2006. ICASSP 2006 Proceedings. 1:I-I-I-I.
2003. Resistance of orthogonal Gaussian fingerprints to collusion attacks. Multimedia and Expo, 2003. ICME '03. Proceedings. 2003 International Conference on. 1:I-617-20vol.1-I-617-20vol.1.
2010. Resolving and Exploiting the k-CFA Paradox: Illuminating Functional vs. Object-oriented Program Analysis. PLDI '10 Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation. :305-315.
2008. Resolving personal names in email using context expansion. Association for Computational Linguistics (ACL).
2009. Resonance: dynamic access control for enterprise networks. Proceedings of the 1st ACM workshop on Research on enterprise networking. :11-18.
2006. Resource Discovery Techniques in Distributed Desktop Grid Environments. Proceedings of the 7th IEEE/ACM International Conference on Grid Computing. :9-16.
1979. Resource estimation for medium-scale software projects. Twelfth Conference on the Interface of Statistics and Computer Science, by IEEE Computer Society. :267-272.
2010. Resource-Aware Compiler Prefetching for Many-Cores. Parallel and Distributed Computing (ISPDC), 2010 Ninth International Symposium on. :133-140.
2008. Re-Targetable OCR with Intelligent Character Segmentation. DAS '08: Proceedings of the 2008 The Eighth IAPRInternational Workshop on Document Analysis Systems. :183-190.
2006. Revealing botnet membership using DNSBL counter-intelligence. Proc. 2nd USENIX Steps to Reducing Unwanted Traffic on the Internet. :49-54.
2000. REXTOR: a system for generating relations from natural language. Proceedings of the ACL-2000 workshop on Recent advances in natural language processing and information retrieval: held in conjunction with the 38th Annual Meeting of the Association for Computational Linguistics - Volume 11. :67-77.
2009. Rigorous Probabilistic Trust-Inference with Applications to Clustering. IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technologies, 2009. WI-IAT '09. 1:655-658.
2002. A robust algorithm for probabilistic human recognition from video. Pattern Recognition, 2002. Proceedings. 16th International Conference on. 1:226-229vol.1-226-229vol.1.
2005. A robust and self-reconfigurable design of spherical microphone array for multi-resolution beamforming. Acoustics, Speech, and Signal Processing, 2005. Proceedings. (ICASSP '05). IEEE International Conference on. 4:iv/1137-iv/1140Vol.4-iv/1137-iv/1140Vol.4.
2004. Robust Bayesian cameras motion estimation using random sampling. Image Processing, 2004. ICIP '04. 2004 International Conference on. 2:1361-1364Vol.2-1361-1364Vol.2.
2005. Robust Contrast Invariant Stereo Correspondence. Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 2005. ICRA 2005. :819-824.
2004. Robust ego-motion estimation and 3D model refinement using depth based parallax model. Image Processing, 2004. ICIP '04. 2004 International Conference on. 4:2483-2486Vol.4-2483-2486Vol.4.
2001. Robust matching of wavelet features for sub-pixel registration of Landsat data. Geoscience and Remote Sensing Symposium, 2001. IGARSS '01. IEEE 2001 International. 2:706-708vol.2-706-708vol.2.