Publication The GPU as a Scientific Computing Engine: Performance and Analysis Navendu Jain, Jason Chaw TR04-40 | January 2004 Technical Report
Publication Observations on the Decidability of Transitions Yuri Gurevich, Rostislav Yavorskiy Abstract State Machines 2004. Springer Lecture Notes in Computer Science. | January 2004
Publication A Comparison of Inference Techniques for Semi-supervised Clustering with Hidden Markov Random Fields Mikhail Bilenko, Sugato Basu Proceedings of the ICML-2004 Workshop on Statistical Relational Learning and its Connections to Other Fields (SRL-2004) | 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 Deductive Verification of UML Models in TLPVS Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag January 2004
Publication Combining Generics, Pre-compilation and Sharing Between Software-Based Processes Don Syme, Andrew Kennedy January 2004 Project
Publication Direct macroblock coding for predictive (P) pictures in the H.264 standard Alexis M. Tourapis, Feng Wu, Shipeng Li January 2004
Publication Improving Text Classification Using Local Latent Semantic Indexing Tao Liu, Zheng Chen, Benyu Zhang, Wei-Ying Ma, Gongyi Wu 2004 IEEE International Conference on Data Mining | January 2004 2004 IEEE International Conference on Data Mining
Publication Sound and Decidable Type Inference for Functional Dependencies Gregory Duck, Simon Peyton Jones, Martin Sulzmann, Peter Stuckey European Sumposium on Programming (ESPO’04) | January 2004
Publication Cycle-cut decomposition and Log-based reconciliation Youssef Hamadi In 14th Int. Conf. on Automated Planning&Scheduling, W. Connecting Planning Theory with Practice | January 2004
