Publication Intra-Step Interaction Yuri Gurevich Proc. ASM’2004, Springer Lecture Notes in Computer Science | January 2004
Publication A Lightweight Approach for Experimenting with Tangible Interaction Metaphors Christian Sandor, Gudrun Klinker Proceedings of the International Workshop on Multi-user and Ubiquitous User Interfaces (MU3I 2004) (Part of the International Conference on Intelligent User Interfaces 2004) | January 2004
Publication Direct macroblock coding for predictive (P) pictures in the H.264 standard Alexis M. Tourapis, Feng Wu, Shipeng Li January 2004
Publication Generating more-positive or more-negative text Diana Zaiu Inkpen, Olga Feiguina, Graeme Hirst Proceedings of the AAAI Spring Symposium on Exploring Attitude and Affect in Text: Theories and Applications | January 2004 Proceedings of the AAAI Spring Symposium on Exploring Attitude and Affect in Text: Theories and Applications
Publication Automatic Extraction of Opinion Propositions and their Holders Steven Bethard, Hong Yu, Ashley Thornton, Vasileios Hatzivassiloglou, Dan Jurafsky Proceedings of the AAAI Spring Symposium on Exploring Attitude and Affect in Text: Theories and Applications | January 2004
Publication Formalization of Generics for the .NET Common Language Runtime Dachuan Yu, Andrew Kennedy, Don Syme POPL ’04: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2004 POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ISBN: 1-58113-729-X
Publication As Computer Users Grow More Savvy: Experiences with a Multimedia Tool David Bargeron, Jonathan Grudin Hawaii International Conference on System Sciences | January 2004
Publication Observations on the Decidability of Transitions Yuri Gurevich, Rostislav Yavorskiy Abstract State Machines 2004. Springer Lecture Notes in Computer Science. | January 2004
Publication Deductive Verification of UML Models in TLPVS Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag January 2004
Publication Instrumenting Scenarios in a Model-Driven Development Environment Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes Journal of Information and Software Technology | January 2004, Vol 46: pp. 1027-1036 Project Project Project