Publications

Export 7148 results:
[ Author(Desc)] Title Type Year
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is   [Clear All Filters]
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 
G
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, Kraus S, Perlis D.  2005.  A logic-based model of intention formation and action for multi-agent subcontracting. Artificial Intelligence. 163(2):163-201.
Grant J, Minker J.  2002.  A logic-based approach to data integration. Theory Pract. Log. Program.. 2(3):323-368.
Grant J, Minker J.  2007.  Deductive Databases. Wiley Encyclopedia of Computer Science and EngineeringWiley Encyclopedia of Computer Science and Engineering.
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, Litwin W, Roussopoulos N, Sellis T.  1991.  An algebra and calculus for relational multidatabase systems. , First International Workshop on Interoperability in Multidatabase Systems, 1991. IMS '91. Proceedings. :118-124.
Grant J, Gryz J, Minker J, Raschid L.  2000.  Logic-based query optimization for object databases. IEEE Transactions on Knowledge and Data Engineering. 12(4):529-547.
Grant J, Kraus S, Perlis D.  2005.  Formal approaches to teamwork. We Will Show Them: Essays in Honour of Dov Gabbay. 1:39-68.
Grasso MA, Mokashi R, Dalvi D, Cardone A, Dima AA, Bhadriraju K, Plant AL, Brady M, Yesha Y, Yesha Y.  2010.  Image classification of vascular smooth muscle cells. Proceedings of the 1st ACM International Health Informatics Symposium. :484-486.
Graves TL, Harrold M J, Kim J-M, Porter A, Rothermel G.  2001.  An empirical study of regression test selection techniques. ACM Transactions on Software Engineering and MethodologyACM Trans. Softw. Eng. Methodol.. 10(2):184-208.
Green R, Dorr BJ, Resnik P.  2004.  Inducing frame semantic verb classes from WordNet and LDOCE. Proceedings of the 42nd Annual Meeting on Association for Computational Linguistics. :375-375.
Green R, Dorr BJ.  2004.  Inducing a semantic frame lexicon from WordNet data. Proceedings of the 2nd Workshop on Text Meaning and Interpretation. :65-72.
Green R, Pearl L, Dorr BJ.  2001.  Mapping WorldNet Senses to a Lexical Database of Verbs.
Green R, Dorr BJ.  2005.  Frame semantic enhancement of lexical-semantic resources. Proceedings of the ACL-SIGLEX Workshop on Deep Lexical Acquisition. :57-66.
Green R, Pearl L, Dorr BJ, Resnik P.  2001.  Mapping lexical entries in a verbs database to WordNet senses. Proceedings of the 39th Annual Meeting on Association for Computational Linguistics. :244-251.
Greenberg R, JaJa JF, Krishnamurthy S.  1992.  On the difficulty of Manhattan channel routing. Information Processing Letters. 44(5):281-284.
Greene S, Tanin E, Plaisant C, Shneiderman B, Olsen L, Major G, Johns S.  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.
Greene S, Marchionini G, Plaisant C, Shneiderman B.  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.
Greene S, Resnik P.  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.
Greenfieldboyce D, Foster JS.  2007.  Type qualifier inference for Java. ACM SIGPLAN Notices. 42:321-336.
Greenfieldboyce D, Foster JS.  2004.  Visualizing type qualifier inference with Eclipse. Proceedings of the 2004 OOPSLA workshop on eclipse technology eXchange. :57-61.
Gregory MB, Shneiderman B.  2009.  Shape Identification in Temporal Data Sets.
Greif I, Curtis B, Krasner H, Malone TW, Shneiderman B.  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.
Grim CJ, Taviani E, Alam M, Huq A, Sack BR, Colwell RR.  2008.  Occurrence and Expression of Luminescence in Vibrio Cholerae. Applied and Environmental MicrobiologyAppl. Environ. Microbiol.. 74(3):708-715.
Grim CJ, Hasan NA, Taviani E, Haley B, Chun J, Brettin TS, Bruce DC, Detter CJ, Han CS, Chertkov O et al..  2010.  Genome Sequence of Hybrid Vibrio Cholerae O1 MJ-1236, B-33, and CIRS101 and Comparative Genomics with V. Cholerae. Journal of BacteriologyJ. Bacteriol.. 192(13):3524-3533.

Pages