Publication Efficiently Combining Contour and Texture Cues for Object Recognition Jamie Shotton, Andrew Blake, Roberto Cipolla Proc. BMVC | January 2008 Proc. BMVC
Publication One Useful Logic That Defines Its Own Truth Andreas Blass, Yuri Gurevich 33rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2008). Springer Lecture Notes in Computer Science. | January 2008
Publication Index Design for Dynamic Personalized PageRank Amit Pathak, Soumen Chakrabarti, Manish Gupta Proc. of the 24th Intl. Conf. on Data Engineering (ICDE) | January 2008 Proc. of the 24th Intl. Conf. on Data Engineering (ICDE)
Publication White-Box Testing of Behavioral Web Service Contracts With Pex Nikolai Tillmann, Jonathan "Peli" de Halleux TAV-WEB ’08: Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications | January 2008 ISBN: 978-1-60558-053-1 Projet Projet
Publication The Power of Rich Syntax for Model-based Development Ethan Jackson, Wolfram Schulte Publié par Microsoft Research, January 2008 Projet
Publication Verification Condition Splitting Rustan Leino, Wolfram Schulte Publié par Microsoft Research, January 2008 Projet
Publication Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving Wolfram Schulte AMAST | January 2008 ISBN: 978-3-540-79979-5 Projet
Publication Conditional Correlation Analysis for Safe Region-based Memory Management Xi Wang, Zhilei Xu, Xuezheng Liu, Zhenyu Guo, Xiaoge Wang, Zheng Zhang Programming Language Design and Implementation (PLDI) | January 2008
Publication Serving Comparative Shopping Links Non-invasively Renan Cattelan, Darko Kirovski, Deepak Vijaywargi MSR-TR-2008-14 | January 2008