Programming languages & software engineering

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

プロジェクト プロジェクト プロジェクト

Hiroya Takamura, Takashi Inui, Manabu Okumura

Proceedings EACL-06, the 11rd Conference of the European Chapter of the Association for Computational Linguistics | January 2006

Hongcheng Mi, I-Heng Mei

Proceedings ofAAAI-CAAW-06, the Spring Symposia on Computational Approaches to Analyzing Weblogs | January 2006

Margus Veanes, Pritam Roy, Colin Campbell

Formal Approaches to Software Testing and Runtime Verification, FATES/RV 2006 | January 2006

Alexey Gotsman, Josh Berdine, Byron Cook

Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings | January 2006

ISBN: 3-540-37756-5

Lucy Vanderwende, Arul Menezes, Rion Snow

Proceedings of the Second PASCAL Recognising Textual Entailment Challenge Workshop | January 2006

Proceedings of the Second PASCAL Recognising Textual Entailment Challenge Workshop

Steven Swanson, Andrew Putnam, Martha Mercaldi, Ken Michelson, Andrew Petersen, Andrew Schwerin, Mark Oskin, Susan J. Eggers

Proceedings of the 33rd Annual International Symposium on Computer Architecture | January 2006

Proceedings of the 33rd Annual International Symposium on Computer Architecture

ISBN: 0-7695-2608-X

Nick Benton, Noah Torp-Smith

Proceedings of the Third Workshop on Semantics, Program Analysis and Computing Environments for Memory Management (SPACE ’06) | January 2006

Proceedings of the Third Workshop on Semantics, Program Analysis and Computing Environments for Memory Management (SPACE '06)

J. Quiñonero Candela, C. E. Rasmussen, F. Sinz, O. Bousquet, B. Schölkopf, Joaquin Quiñonero Candela

Machine Learning Challenges – Evaluating Predictive Uncertainty, Textual Entailment and Object Recognition Systems | Springer による投稿 | 2006, Vol 3944

Nachi Nagappan, Thomas Ball

MSR-TR-2006-03 | January 2006

プロジェクト