Publications
Export 7148 results:
[ Author] Title Type Year Filters: Efficient-cryptographic-protocols-preventing-%E2%80%9Cman-middle%E2%80%9D-attacks is [Clear All Filters]
2000. Logic-based query optimization for object databases. IEEE Transactions on Knowledge and Data Engineering. 12(4):529-547.
2007. Deductive Databases. Wiley Encyclopedia of Computer Science and EngineeringWiley Encyclopedia of Computer Science and Engineering.
1997. Semantic query optimization for object databases. Data Engineering, 1997. Proceedings. 13th International Conference on. :444-453.
1991. An algebra and calculus for relational multidatabase systems. , First International Workshop on Interoperability in Multidatabase Systems, 1991. IMS '91. Proceedings. :118-124.
1997. Semantic query optimization for object databases. Data Engineering, 1997. Proceedings. 13th International Conference on. :444-453.
2000. A logic for characterizing multiple bounded agents. Autonomous Agents and Multi-Agent Systems. 3(4):351-387.
2005. A logic-based model of intention formation and action for multi-agent subcontracting. Artificial Intelligence. 163(2):163-201.
2010. Image classification of vascular smooth muscle cells. Proceedings of the 1st ACM International Health Informatics Symposium. :484-486.
2001. An empirical study of regression test selection techniques. ACM Transactions on Software Engineering and MethodologyACM Trans. Softw. Eng. Methodol.. 10(2):184-208.
2004. Inducing a semantic frame lexicon from WordNet data. Proceedings of the 2nd Workshop on Text Meaning and Interpretation. :65-72.
2005. Frame semantic enhancement of lexical-semantic resources. Proceedings of the ACL-SIGLEX Workshop on Deep Lexical Acquisition. :57-66.
2001. Mapping lexical entries in a verbs database to WordNet senses. Proceedings of the 39th Annual Meeting on Association for Computational Linguistics. :244-251.
2004. Inducing frame semantic verb classes from WordNet and LDOCE. Proceedings of the 42nd Annual Meeting on Association for Computational Linguistics. :375-375.
1992. On the difficulty of Manhattan channel routing. Information Processing Letters. 44(5):281-284.
1999. The end of zero-hit queries: query previews for NASA’s Global Change Master Directory. International Journal on Digital Libraries. 2(2):79-90.
2000. Previews and overviews in digital libraries: Designing surrogates to support visual information seeking. Journal of the American Society for Information Science. 51(4):380-393.
2009. More than words: Syntactic packaging and implicit sentiment. Proceedings of Human Language Technologies: The 2009 Annual Conference of the North American Chapter of the Association for Computational Linguistics. :503-511.
2004. Visualizing type qualifier inference with Eclipse. Proceedings of the 2004 OOPSLA workshop on eclipse technology eXchange. :57-61.
1987. Computer-supported cooperative work (panel): is this REALLY a new field of research? Proceedings of the SIGCHI/GI conference on Human factors in computing systems and graphics interface. :227-228.
2010. Occurrence of the Vibrio cholerae seventh pandemic VSP-I island and a new variant. OMICS: A Journal of Integrative Biology. 14(1):1-7.
2009. Detection of toxigenic Vibrio cholerae O1 in freshwater lakes of the former Soviet Republic of Georgia. Environmental Microbiology Reports. 2(1):2-6.