624 search results - page 9 / 125 » A Structured Approach for Synthesizing Planners from Specifi... |
JCDL
2004
ACM
14 years 2 months ago
2004
ACM
This paper describes a comprehensive approach to construct robust multi-modal video classification on a specific digital source, broadcast news. Broadcast news has a very stable s...
ICCS
2001
Springer
14 years 1 months ago
2001
Springer
Automatically generating Conceptual Graphs (CGs) [1] from natural language sentences is a difficult task in using CG as a semantic (knowledge) representation language for natural l...
CICLING
2009
Springer
14 years 9 months ago
2009
Springer
This paper presents a system that uses the domain name of a German business website to locate its information pages (e.g. company profile, contact page, imprint) and then identifi...
ATVA
2008
Springer
13 years 10 months ago
2008
Springer
In this paper, a uniform approach for synthesizing monitors checking correctness properties specified in linear-time logics at runtime is provided. Therefore, a generic three-value...
ECBS
1999
IEEE
14 years 27 days ago
1999
IEEE
Model interpreters play an essential role in modelintegrated systems: they transform domain-specific models into executable models. The state-ot-the-art of model interpreter writi...