Publications
Export 7151 results:
Author Title [ Type] Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2003. Statistical Error Propagation in 3D Modeling From Monocular Video. Computer Vision and Pattern Recognition Workshop, 2003. CVPRW '03. Conference on. 8:89-89.
2003. Statistical point geometry. Proceedings of the 2003 Eurographics/ACM SIGGRAPH symposium on Geometry processing. :107-115.
2003. Statistical shape theory for activity modeling. Acoustics, Speech, and Signal Processing, 2003. Proceedings. (ICASSP '03). 2003 IEEE International Conference on. 3:III-493-6vol.3-III-493-6vol.3.
2000. The statistics of optical flow: implications for the process of correspondence in vision. 15th International Conference on Pattern Recognition, 2000. Proceedings. 1:119-126vol.1-119-126vol.1.
1986. Step-logics: An alternative approach to limited reasoning. Proceedings of the European Conf. on Artificial Intelligence. :160-163.
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. STEWARD: architecture of a spatio-textual search engine. Proceedings of the 15th annual ACM international symposium on Advances in geographic information systems. :25:1–25:8-25:1–25:8.
2007. STEWARD: demo of spatio-textual extraction on the web aiding the retrieval of documents. Proceedings of the 8th annual international conference on Digital government research: bridging disciplines & domains. :300-301.
1995. Stochastic completion fields: a neural model of illusory contour shape and salience. Computer Vision, 1995. Proceedings., Fifth International Conference on. :408-415.
2008. Stochastic fusion of multi-view gradient fields. Image Processing, 2008. ICIP 2008. 15th IEEE International Conference on. :1324-1327.
2006. A stochastic language for modelling opponent agents. Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems. :244-246.
2000. A storytelling robot for pediatric rehabilitation. Proceedings of the fourth international ACM conference on Assistive technologies. :50-55.
2006. Strategies for evaluating information visualization tools: multi-dimensional in-depth long-term case studies. Proceedings of the 2006 AVI workshop on BEyond time and errors: novel evaluation methods for information visualization. :1-7.
2004. Strategies for exploring large scale data. Parallel Architectures, Algorithms and Networks, 2004. Proceedings. 7th International Symposium on. :2-2.
2009. Streamed learning: one-pass SVMs. Proceedings of the 21st international jont conference on Artifical intelligence. :1211-1216.
2009. Streaming for large scale NLP: Language modeling. Proceedings of Human Language Technologies: The 2009 Annual Conference of the North American Chapter of the Association for Computational Linguistics. :512-520.
1996. Stripe: a software tool for efficient triangle strips. ACM SIGGRAPH 96 Visual Proceedings: The art and interdisciplinary programs of SIGGRAPH '96. :153–-153–.
2011. Stroke-like Pattern Noise Removal in Binary Document Images. International Conference on Document Analysis and Recognition. :17-21.
1993. Structural ambiguity and conceptual relations. Proceedings of the Workshop on Very Large Corpora: Academic and Industrial Perspectives. :58-64.
2004. Structural and algorithmic aspects of massive social networks. Proceedings of the fifteenth annual ACM-SIAM symposium on Discrete algorithms. :718-727.
2006. A structural approach to latency prediction. Proceedings of the 6th ACM SIGCOMM conference on Internet measurement. :99-104.