The control flow of common processors does not match the specific needs of reactive systems. Key issues for these systems are preemption and concurrency, combined with timing pred...
Several medical natural language processing (NLP) systems currently base on ontologies that provide the domain knowledge. But, relationships between concepts defined in ontologies ...
Abstract: GEMINI (Generic Environment for Multilingual Interactive Natural Interfaces) is an EC funded research project. The goal of GEMINI is to provide a flexible platform for t...
Stefan W. Hamerich, Yu-Fang H. Wang, Volker Schube...
An important component of any generation system is the mapping dictionary, a lexicon of elementary semantic expressions and corresponding natural language realizations. Typically,...
This paper presents a new program logic designed for facilitating automated reasoning about pointer programs. The program logic is directly inspired by previous work by O'Hea...