Publication Understanding functional dependencies via constraint handling rules Martin Sulzmann, Gregory Duck, Simon Peyton Jones, Peter Stuckey January 2006 | To appear in the Journal of Functional Programming edition edition To appear in the Journal of Functional Programming
Publication An Efficient Key Scheme for Multiple Access of JPEG 2000 and Motion JPEG 2000 Enabling Truncations Yang Yang, Bin Benjamin Zhu, Shipeng Li IEEE Consumer Communications and Networking Conference | January 2006
Publication A Hybrid Markov/Semi-Markov Conditional Random Field for Sequence Segmentation Galen Andrew Conference on Empirical Methods in Natural Language Processing (EMNLP) | January 2006
Publication Discovering Likely Method Specifications Nikolai Tillmann, Feng Chen, Wolfram Schulte Proceedings of the 8th International Conference on Formal Engineering Methods (ICFEM’06), LNCS | January 2006 ISBN: 3-540-47460-9 Project Project Project
Publication Textual allusions to artifacts in software-related repositories Gina Venolia MSR ’06: Proceedings of the 2006 international workshop on Mining software repositories | January 2006 ISBN: 1-59593-397-2
Publication Optimisation methods for ranking functions with multiple parameters Mike Taylor, Hugo Zaragoza, Nick Craswell, Stephen Robertson, Chris J.C. Burges Proceedings of CIKM 2006 | January 2006 Proceedings of CIKM 2006 ISBN: 1-59593-433-2 \urlhttp://research.microsoft.com/users/nickcr/pubs/taylor_cikm06.pdf
Publication Adaptive Scheduling With Parallelism Feedback Kunal Agrawal, Yuxiong He, Wen-Jing Hsu, Charles E. Leiserson PPOPP | January 2006
Publication Modeling Instruction Placement on a Spatial Architecture Martha Mercaldi, Steven Swanson, Andrew Petersen, Andrew Putnam, Andrew Schwerin, Mark Oskin, Susan J. Eggers Proceedings of the Eighteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures | January 2006 Proceedings of the Eighteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures ISBN: 1-59593-452-9
Publication Instruction Scheduling for a Tiled Dataflow Architecture Martha Mercaldi, Steven Swanson, Andrew Petersen, Andrew Putnam, Andrew Schwerin, Mark Oskin, Susan J. Eggers Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems | January 2006 ISBN: 1-59593-451-0
Publication Star-Structured High-Order Heterogeneous Data Co-clustering based on Consistent Information Theory Bin Gao, Tie-Yan Liu, Wei-Ying Ma Proceedings of the Sixth International Conference on Data Mining | January 2006
Research
Research