Publications

Export 7151 results:
Author Title [ Type(Desc)] Year
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is   [Clear All Filters]
Conference Papers
Sundaresan A, Chellappa R.  2006.  Segmentation and Probabilistic Registration of Articulated Body Models. Pattern Recognition, 2006. ICPR 2006. 18th International Conference on. 2:92-96.
Cardone A, Chalfoun J, Peskin A, Bajcsy P, Kociolek M, Bhadriraju K, Brady M.  2015.  Segmentation and sub-cellular feature-based analysis of microscopy images. BioImage Informatics Conference .
Kumar J, Kang L, Doermann D, Abd-Almageed W.  2011.  Segmentation of Handwritten Textlines in Presence of Touching Components. Intl. Conf. on Document Analysis and Recognition (ICDAR 11). :109-113.
Yacoob Y, Davis LS.  2007.  Segmentation using Meta-texture Saliency. Computer Vision, 2007. ICCV 2007. IEEE 11th International Conference on. :1-8.
Jacobs DW, Chennubhotla C.  1994.  Segmenting independently moving, noisy points. Motion of Non-Rigid and Articulated Objects, 1994., Proceedings of the 1994 IEEE Workshop on. :96-103.
Davis LS.  2006.  Segmenting people in small groups. Proceedings of the 4th ACM international workshop on Video surveillance and sensor networks. :1-2.
Gong J, Oard D.  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.
Dorr BJ, Gaasterland T.  1995.  Selecting Tense, Aspect, and Connecting Words In Language Generation. In Proceedings of IJCAI-95. :1299-1305.
Resnik P.  1997.  Selectional preference and sense disambiguation. Proceedings of the ACL SIGLEX Workshop on Tagging Text with Lexical Semantics: Why, What, and How. :52-57.
Eaton E, desJardins M, others.  2011.  Selective transfer between learning tasks using task-based boosting. Twenty-Fifth AAAI Conference on Artificial Intelligence.
Brodsky T, Fermüller C, Aloimonos Y.  1998.  Self-calibration from image derivatives. Sixth International Conference on Computer Vision, 1998. :83-89.
Roussopoulos N, Mark L.  1983.  A self-describing meta-schema for the RM/T data model. IEEE Workshop On Languages for Automation, IEEE Computer Society Press.
Perlis D.  1986.  Self-reference, knowledge, belief, and modality. Proc 5th National Conference on AI. :416-420.
Resnik P.  1993.  Semantic classes and syntactic ambiguity. Proceedings of the workshop on Human Language Technology. :278-283.
Grant J, Gryz J, Minker J, Raschid L.  1997.  Semantic query optimization for object databases. Data Engineering, 1997. Proceedings. 13th International Conference on. :444-453.
Grant J, Gryz J, Minker J, Raschid L.  1997.  Semantic query optimization for object databases. Data Engineering, 1997. Proceedings. 13th International Conference on. :444-453.
De Floriani L, Hui A, Papaleo L, Huang M, Hendler J.  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.
Cleaveland R, Parrow J, Steffen B.  1989.  A semantics based verification tool for finite state systems. Proceedings of the IFIP WG6. 1:287-302.
Raschid L.  1992.  Semantics for Rule-based Programs that Express Non-determinism, Causality and Exception Handling Behavior. Workshop on Deductive Databases, JICSLP. :163-174.
Raschid L, Lobo J.  1991.  Semantics for update rule programs and implementation in a relational database management system. ACM Transactions on Database Systems.
Chuang W-H, M. Wu.  2010.  Semi non-intrusive training for cell-phone camera model linkage. Information Forensics and Security (WIFS), 2010 IEEE International Workshop on. :1-6.
Resnik P, Melamed ID.  1997.  Semi-automatic acquisition of domain-specific translation lexicons. Proceedings of the fifth conference on Applied natural language processing. :340-347.
Han B, Davis LS.  2006.  Semi-Parametric Model-Based Clustering for DNA Microarray Data. Pattern Recognition, 2006. ICPR 2006. 18th International Conference on. 3:324-327.
Daumé H.  2009.  Semi-supervised or semi-unsupervised? Proceedings of the NAACL HLT Workshop on Semisupervised Learning for Natural Language Processing. :84-85.
Froehlich J, Neumann J, Oliver N.  2009.  Sensing and predicting the pulse of the city through shared bicycling. International Joint Conference on Artificial Intelligence. :1420-1426.

Pages