1616 search results - page 122 / 324 » A Framework for Hybrid Planning |
230
click to vote
DANCE
2002
IEEE
15 years 11 months ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
156
click to vote
EURODAC
1994
IEEE
15 years 10 months ago
1994
IEEE
In this paper we introduce a new knowledgebased method for planning and managing the VLSI design process, based on prediction and advice, that minimizes search in a wide design sp...
152
click to vote
JAIR
2006
15 years 6 months ago
2006
Real-time search methods are suited for tasks in which the agent is interacting with an initially unknown environment in real time. In such simultaneous planning and learning prob...
151
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
: In this position paper we propose a process model that provides a development infrastructure in which the usability engineering and software engineering life cycles co-exist in c...
168
click to vote
ARGMAS
2006
Springer
15 years 10 months ago
2006
Springer
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...