7049 search results - page 47 / 1410 » Data Abstraction for CSP-OZ |
DAGSTUHL
2003
14 years 17 hour ago
2003
Abstract Multiresolution models support the interactive visualization of large volumetric data through selective refinement, an operation which permits to focus resolution only on...
IDC
2009
Springer
14 years 5 months ago
2009
Springer
Abstract Multi-agent cooperation can in several cases be used in order to mitigate problems relating to task sharing within physical processes. In this paper we apply agent based s...
MDM
2010
Springer
14 years 3 months ago
2010
Springer
Abstract—Data-based agreement is increasingly used to implement traceable coordination across mobile entities such as adhoc networked (autonomous) vehicles. In our work, we focus...
ECSQARU
1999
Springer
14 years 2 months ago
1999
Springer
Intelligent agents embedded in physical environments need ity to connect, or anchor, the symbols used to perform abstract reasoning to the physical entities which these symbols ref...
ICST
2010
IEEE
13 years 9 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...