In: J. Hertzberg; M. Beetz; R. Englert (Hrsg.). KI 2007: Advances in Artificial Intelligence. 30th Annual German Conference on Artificial Intelligence …
In: Karen Yorav (Hrsg.). Hardware and Software, Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, …
In: Proceedings of ACL 2007, 45th Annual Meeting of the Association for Computational Linguistics. Annual Conference of the North American Chapter of …