Publication Discrete Surfaces in Isotropic Geometry Helmut Pottmann, Yang Liu Mathematics of Surfaces XII | January 2007
Publication A First Step Towards a Unified Proof Checker for QBF Toni Jussila, Armin Biere, Carsten Sinz, Daniel Kroening, Christoph M. Wintersteiger Proceedings of the Tenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2007) | January 2007 Proceedings of the Tenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2007)
Publication Towards 3-query locally decodable codes of subexponential length Sergey Yekhanin Journal of the ACM | January 2007, Vol 55(1): pp. 1-16
Publication Structure Learning with Nonparametric Decomposable Models Anton Schwaighofer, Mathäus Dejori, Volker Tresp, Martin Stetter Artificial Neural Networks – ICANN 2007 | January 2007
Publication Gaussian Processes in Practice Neil D. Lawrence, Anton Schwaighofer, Joaquin Quiñonero Candela January 2007 (Editors)
Publication On Decidability of Nominal Subtyping with Variance Andrew Kennedy, Benjamin C. Pierce International Workshop on Foundations and Developments of Object-Oriented Languages (FOOL/WOOD) | January 2007 International Workshop on Foundations and Developments of Object-Oriented Languages (FOOL/WOOD)
Publication Concurrent Statistical Zero-Knowledge Arguments for NP from One Way Functions Vipul Goyal, Ryan Moriarty, Rafail Ostrovsky, Amit Sahai Advances in Cryptology – ASIACRYPT 2007. ASIACRYPT 2007. Lecture Notes in Computer Science | January 2007
Publication Extending Query Translation to Cross-language Query Expansion with Markov Chain Models Guihong Cao, Jianfeng Gao, Jian-Yun Nie, Jing Bai CIKM | January 2007
Publication Prior Knowledge Guided Maximum Expected Likelihood based Model Selection and Adaptation for Nonnative Speech Recognition Xiaodong He, Yunxin Zhao Computer Speech and Language | January 2007
