Publications

Export 7151 results:
Author [ Title(Asc)] Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
S
Mangeruca L, Baleani M, Ferrari A, Sangiovanni-Vincentelli A.  2007.  Semantics-Preserving Design of Embedded Control Software from Synchronous Models. Software Engineering, IEEE Transactions on. 33(8):497-509.
Ruiz C, Minker J.  1996.  Semantics of knowledge-based systems with multiple forms of negation.
Weinberg A.  2002.  Semantics in the spin cycle Competence and performance criteria for the creation of lexical entries. The lexical basis of sentence processing: formal, computational, and experimental issues. 4:85-85.
Raschid L, Lobo J.  1991.  Semantics for update rule programs and implementation in a relational database management system. ACM Transactions on Database Systems.
Raschid L.  1992.  Semantics for Rule-based Programs that Express Non-determinism, Causality and Exception Handling Behavior. Workshop on Deductive Databases, JICSLP. :163-174.
Lobo J, Minker J, Rajasekar A.  1998.  Semantics for Disjunctive and Normal Disjunctive Logic Programs. Handbook of logic in artificial intelligence and logic programming. 5:325-325.
Raschid L, Lobo J.  1994.  A Semantics for a class of non-deterministic and causal production system programs. Journal of Automated Reasoning. 12(3):305-349.
Cleaveland R, Parrow J, Steffen B.  1989.  A semantics based verification tool for finite state systems. Proceedings of the IFIP WG6. 1:287-302.
Papaleo L, De Floriani L.  2009.  Semantic-based segmentation and annotation of 3d models. Image Analysis and Processing–ICIAP 2009. :103-112.
Baker K, Bethard S, Bloodgood M, Brown R, Callison-Burch C, Coppersmith G, Dorr BJ, Filardo W, Giles K, Irvine A et al..  2009.  Semantically informed machine translation (SIMT). SCALE summer workshop final report, Human Language Technology Center Of Excellence.
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.
Albanese M, Turaga P, Chellappa R, Pugliese A, Subrahmanian V.  2010.  Semantic Video Content Analysis. Video Search and MiningVideo Search and Mining. 287:147-176.
Cleaveland R, L\üttgen G.  2000.  A semantic theory for heterogeneous system design. FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science. :312-324.
Cleaveland R.  1996.  Semantic theories and system design. ACM Computing Surveys (CSUR). 28(4es):41-41.
Tobin-Hochstadt S, Van Horn D.  2011.  Semantic Solutions to Program Analysis Problems. arXiv:1105.0106 [cs].
Resnik P.  2011.  Semantic similarity in a taxonomy: An information-based measure and its application to problems of ambiguity in natural language. Arxiv preprint arXiv:1105.5444.
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.
Godfrey P, Gryz J, Minker J.  1996.  Semantic query optimization for bottom-up evaluation. Foundations of Intelligent Systems. :561-571.
Resnik P.  1993.  Semantic classes and syntactic ambiguity. Proceedings of the workshop on Human Language Technology. :278-283.
Mitamura T, Miller K, Dorr BJ, Farwell D, Habash N, Helmreich S, Hovy E, Levin L, Rambow O, Reeder F et al..  2004.  Semantic Annotation for Interlingual Representation of Multilingual Texts. Workshop Programme. :19-19.
Dorr BJ, Green R, Levin L, Rambow O, Farwell D, Habash N, Helmreich S, Hovy E, Miller KJ, Mitamura T et al..  2004.  Semantic annotation and lexico-syntactic paraphrase. Proceedings of the 4th International Conference on Language Resources and Evaluation (LREC) Workshop on Building Lexical Resources from Semantically Annotated Corpora. :47-52.
Basili VR, Zelkowitz MV, McGarry F, Page J, Waligora S, Pajerski R.  1995.  SEL's software process improvement program. Software, IEEE. 12(6):83-87.
Reggia JA, Lohn JD, Chou HH.  1998.  Self-replicating structures: evolution, emergence, and computation. Artificial Life. 4(3):283-302.
Perlis D.  1986.  Self-reference, knowledge, belief, and modality. Proc 5th National Conference on AI. :416-420.

Pages