Publications
Export 7148 results:
[ Author] Title Type Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
1994. Introduction: Special issue on building lexicons for machine translation. Machine Translation. 9(3):151-153.
2002. Constraints on the Generation of Tense, Aspect, and Connecting Words from Temporal Expressions.
1994. Machine translation divergences: a formal description and proposed solution. Comput. Linguist.. 20(4):597-633.
1996. Role of word sense disambiguation in lexical acquisition: predicting semantics from syntactic cues. Proceedings of the 16th conference on Computational linguistics - Volume 1. :322-327.
1997. Spanish EuroWordNet and LCS-Based Interlingual MT. IN PROCEEDINGS OF THE MT SUMMIT WORKSHOP ON INTERLINGUAS IN MT.
2006. Machine Translation: Interlingual Methods. Encyclopedia of Language & Linguistics (Second Edition)Encyclopedia of Language & Linguistics (Second Edition). :383-394.
2003. Rapid porting of DUSTer to Hindi. ACM Transactions on Asian Language Information Processing (TALIP). 2(2):118-123.
1992. A parameterized approach to integrating aspect with lexical-semantics for machine translation. Proceedings of the 30th annual meeting on Association for Computational Linguistics. :257-264.
1997. LCS-based Korean Parsing and Translation. Ms. Institute for Advanced Computer Studies and Department of Computer Science, University of Maryland.
2005. A methodology for extrinsic evaluation of text summarization: Does ROUGE correlate. Proceedings of the ACL Workshop on Intrinsic and Extrinsic Evaluation Measures for Machine Translation and/or Summarization. :1-8.
2004. iCLEF 2003 at Maryland: Translation Selection and Document Selection. Comparative Evaluation of Multilingual Information Access SystemsComparative Evaluation of Multilingual Information Access Systems. 3237:231-265.
2006. Summarization-Inspired Temporal-Relation Extraction: Tense-Pair Templates and Treebank-3 Analysis.
1990. Connectionist models and information retrieval. Annual review of information science and technology. 25:209-262.
1986. A preliminary excursion into step-logics. Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems -. :262-269.
1986. Step-logics: An alternative approach to limited reasoning. Proceedings of the European Conf. on Artificial Intelligence. :160-163.
1987. Life on a desert island. Proc. Workshop on The Frame Problem in Artificial Intelligence. :349-357.