308 search results - page 18 / 62 » Making Abstract Domains Condensing |
ICMT
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Graph transformation has a well-established theory and associated tools that can be used to perform model transformations. However, the lack of a construct to match and t...
ICRA
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— We consider trajectory planning within the frameworks of optimal control and harmonic control. We present a formal evidence, in the continuous domain and in a standard ...
COORDINATION
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We show how principles of separation of Coordination from Computation can be used to endow the Problem Frames approach to problem analysis with representation schemes. Th...
AAAI
1994
14 years 11 months ago
1994
We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making t...
ICRA
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract— In this paper we present two task-allocation strategies for a multi-robot transportation system. The first strategy is based on a centralized planner that uses domain ...