Publications
Export 7151 results:
Author Title [ Type
] Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2006. Segmentation and Probabilistic Registration of Articulated Body Models. Pattern Recognition, 2006. ICPR 2006. 18th International Conference on. 2:92-96.
2015. Segmentation and sub-cellular feature-based analysis of microscopy images. BioImage Informatics Conference .
2011. Segmentation of Handwritten Textlines in Presence of Touching Components. Intl. Conf. on Document Analysis and Recognition (ICDAR 11). :109-113.
2007. Segmentation using Meta-texture Saliency. Computer Vision, 2007. ICCV 2007. IEEE 11th International Conference on. :1-8.
1994. Segmenting independently moving, noisy points. Motion of Non-Rigid and Articulated Objects, 1994., Proceedings of the 1994 IEEE Workshop on. :96-103.
2006. Segmenting people in small groups. Proceedings of the 4th ACM international workshop on Video surveillance and sensor networks. :1-2.
2009. Selecting hierarchical clustering cut points for web person-name disambiguation. Proceedings of the 32nd international ACM SIGIR conference on Research and development in information retrieval. :778-779.
1995. Selecting Tense, Aspect, and Connecting Words In Language Generation. In Proceedings of IJCAI-95. :1299-1305.
1997. Selectional preference and sense disambiguation. Proceedings of the ACL SIGLEX Workshop on Tagging Text with Lexical Semantics: Why, What, and How. :52-57.
2011. Selective transfer between learning tasks using task-based boosting. Twenty-Fifth AAAI Conference on Artificial Intelligence.
1998. Self-calibration from image derivatives. Sixth International Conference on Computer Vision, 1998. :83-89.
1983. A self-describing meta-schema for the RM/T data model. IEEE Workshop On Languages for Automation, IEEE Computer Society Press.
1986. Self-reference, knowledge, belief, and modality. Proc 5th National Conference on AI. :416-420.
1993. Semantic classes and syntactic ambiguity. Proceedings of the workshop on Human Language Technology. :278-283.
1997. Semantic query optimization for object databases. Data Engineering, 1997. Proceedings. 13th International Conference on. :444-453.
1997. Semantic query optimization for object databases. Data Engineering, 1997. Proceedings. 13th International Conference on. :444-453.
2007. A semantic web environment for digital shapes understanding. Proceedings of the semantic and digital media technologies 2nd international conference on Semantic Multimedia. :226-239.
1989. A semantics based verification tool for finite state systems. Proceedings of the IFIP WG6. 1:287-302.
1992. Semantics for Rule-based Programs that Express Non-determinism, Causality and Exception Handling Behavior. Workshop on Deductive Databases, JICSLP. :163-174.
1991. Semantics for update rule programs and implementation in a relational database management system. ACM Transactions on Database Systems.
2010. Semi non-intrusive training for cell-phone camera model linkage. Information Forensics and Security (WIFS), 2010 IEEE International Workshop on. :1-6.
1997. Semi-automatic acquisition of domain-specific translation lexicons. Proceedings of the fifth conference on Applied natural language processing. :340-347.
2006. Semi-Parametric Model-Based Clustering for DNA Microarray Data. Pattern Recognition, 2006. ICPR 2006. 18th International Conference on. 3:324-327.
2009. Semi-supervised or semi-unsupervised? Proceedings of the NAACL HLT Workshop on Semisupervised Learning for Natural Language Processing. :84-85.
2009. Sensing and predicting the pulse of the city through shared bicycling. International Joint Conference on Artificial Intelligence. :1420-1426.