公開日 Separation logic and abstraction Matthew J. Parkinson, Gavin Bierman POPL ’05 Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 2005
公開日 Partial updates Yuri Gurevich, Nikolai Tillmann Theor. Comput. Sci. | January 2005, 巻336: pp. 311-342 プロジェクト プロジェクト
公開日 Parameterized Unit Tests Nikolai Tillmann, Wolfram Schulte Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering | January 2005 ISBN: 1-59593-014-0 プロジェクト プロジェクト
公開日 Recognizing Contextual Polarity in Phrase-Level Sentiment Analysis Theresa Wilson, Janyce Wiebe, Paul Hoffmann Proceedings of Human Language Technologies Conference/Conference on Empirical Methods in Natural Language Processing (HLT/EMNLP 2005) | January 2005
公開日 FMPE: Discriminatively Trained Features for Speech Recognition Geoffrey Zweig Proceedings of ICASSP | January 2005
公開日 OCFS: optimal orthogonal centroid feature selection for text categorization Jun Yan, Ning Liu, Benyu Zhang, Shuicheng Yan, Zheng Chen, Qiansheng Cheng, Weiguo Fan, Wei-Ying Ma 28th annual international ACM SIGIR conference on Research and development in information retrieval | January 2005 28th annual international ACM SIGIR conference on Research and development in information retrieval
公開日 Contour-Based Learning for Object Detection Jamie Shotton, Andrew Blake, Roberto Cipolla International Conference on Computer Vision | January 2005
公開日 Abstract interpretation and Object-oriented languages: quo vadis? Francesco Logozzo, Agostino Cortesi Proceedings of the 1st International Workshop on Abstract Interpretation and Object-oriented languages(Aiool’05), | January 2005 Proceedings of the 1st International Workshop on Abstract Interpretation and Object-oriented languages(Aiool'05),
公開日 Testing Concurrent Object-Oriented Systems with Spec Explorer Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes January 2005 ISBN: 3-540-27882-6 プロジェクト プロジェクト プロジェクト