Publication Semantic Class Hierarchies by Abstract Interpretation Francesco Logozzo, Agostino Cortesi October 2004
Publication Statistical Machine Translation Using Labeled Semantic Dependency Graphs Anthony Aue, Arul Menezes, Bob Moore, Chris Quirk, Eric Ringger October 2004
Publication Perceptually Based Approach for Planar Shape Morphing Ligang Liu, Guopu Wang1y, Bruce Zhang, Baining Guo, Heung-Yeung Shum October 2004
Publication Incorporating Context and User Feedback in Pen-Based Interfaces Martin Szummer, Philip J. Cowans AAAI Fall symposium, Making Pen-Based Interaction Intelligent and Natural | October 2004 AAAI Fall symposium, Making Pen-Based Interaction Intelligent and Natural
Publication An Online-Optimized Incremental Learning Framework for Video Semantic Classification Jun Wu, Xian-Sheng Hua, Hong-Jiang Zhang, Bruce Zhang October 2004
Publication Champagne Prototyping: A Research Technique for Early Evaluation of Complex End-User Programming Systems Alan Blackwell, Margaret Burnett, Simon Peyton Jones IEEE Symposium on Visual Languages and Human Centric Computing (VLHCC) | September 2004 Project
Publication wxHaskell – A Portable and Concise GUI Library For Haskell Daan Leijen ACM SIGPLAN Haskell Workshop (Haskell’04), Snowbird, Utah | September 2004 Snowbird, Utah
Publication Reasoning about Systems with Transition Fairness Benjamin Aminof, Thomas Ball, Orna Kupferman MSR-TR-2004-89 | September 2004
Publication Shrinking Reductions in SML.NET Nick Benton, Andrew Kennedy, Sam Lindley, Claudio Russo IFL’04 Proceedings of the 16th international conference on Implementation and Application of Functional Languages, Lübeck, Germany | September 2004 ISBN: 3-540-26094-3