Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
(LP)2 is a covering algorithm for adaptive Information Extraction from text (IE). It induces symbolic rules that insert SGML tags into texts by learning from examples found in a u...
This paper introduces a Collaborative Virtual Environment (CVE) system over the Internet. A Virtual Reality Modeling Language (VRML) 97-based user interface is developed to permit...
Semantic parsing is the task of mapping natural language sentences to complete formal meaning representations. The performance of semantic parsing can be potentially improved by u...
We present core aspects of a fully implemented generation component in a multilingual speechto-speech dialogue translation system. Its design was particularly influenced by the ne...
Tilman Becker, Wolfgang Finkler, Anne Kilger, Pete...