Abstract. The purpose of information extraction (IE) is to find desired pieces of information in natural language texts and store them in a form that is suitable for automatic pro...
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
—There has been a growing interest in exploiting contextual information in addition to local features to detect and localize multiple object categories in an image. A context mod...
Argumentation allows agents to exchange additional information to argue about their beliefs and other mental attitudes during the negotiation process. Utterances and subsequent obs...
The paper describes initial results in an ongoing project aimed at providing and analyzing standardized, representative data sets for typical context recognition tasks. Such data ...
Ernst A. Heinz, Kai S. Kunze, Stefan Sulistyo, Hol...