425 search results - page 24 / 85 » Controlling a Language Generation Planner |
CORR
2011
Springer
13 years 7 days ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
SIGSOFT
2005
ACM
14 years 9 months ago
2005
ACM
A way of combining object-oriented and structural paradigms of software composition is demonstrated in a tool for generative programming. Metaclasses are introduced that are compon...
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
Motion planning in dynamic environments consists of the generation of a collision-free trajectory from an initial to a goal state. When the environment contains uncertainty, preven...
MEMOCODE
2008
IEEE
14 years 2 months ago
2008
IEEE
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
IJSEKE
2011
12 years 12 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...