5200 search results - page 166 / 1040 » Symbolic models for control systems |
IJCAI
2007
13 years 10 months ago
2007
Modularity is a key requirement for collaborative ontology engineering and for distributed ontology reuse on the Web. Modern ontology languages, such as OWL, are logic-based, and ...
FORMATS
2009
Springer
14 years 28 days ago
2009
Springer
Abstract In this paper we focus on property-preserving preorders between timed game automata and their application to control of partially observable systems. We define timed weak ...
COLING
1996
13 years 10 months ago
1996
Pattern-based machine translation systems can be easily customized by adding new patterns. To gain full profits from this character, input of patterns should be both expressive an...
ICPADS
1998
IEEE
14 years 1 months ago
1998
IEEE
This paper presents a new conceptual model, the XBWModel. Distributed computing is becoming a cost effective way to implement safety critical control systems. To support the devel...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
The open-source framework AKIRA integrates Multiagent and Pandemonium elements. We describe the main components of the framework, showing that the hybrid nature of the Agents, hav...