论文与出版物 Efficiently Combining Contour and Texture Cues for Object Recognition Jamie Shotton, Andrew Blake, Roberto Cipolla Proc. BMVC | January 2008 Proc. BMVC
论文与出版物 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
论文与出版物 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)
论文与出版物 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 项目 项目
论文与出版物 The Power of Rich Syntax for Model-based Development Ethan Jackson, Wolfram Schulte 作者:Microsoft Research, January 2008 项目
论文与出版物 Verification Condition Splitting Rustan Leino, Wolfram Schulte 作者:Microsoft Research, January 2008 项目
论文与出版物 Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving Wolfram Schulte AMAST | January 2008 ISBN: 978-3-540-79979-5 项目
论文与出版物 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
论文与出版物 Serving Comparative Shopping Links Non-invasively Renan Cattelan, Darko Kirovski, Deepak Vijaywargi MSR-TR-2008-14 | January 2008