5216 search results - page 256 / 1044 » Planning as Model Checking |
161
click to vote
MICCAI
2009
Springer
16 years 5 months ago
2009
Springer
Pulmonary valve disease affects a significant portion of the global population and often occurs in conjunction with other heart dysfunctions. Emerging interventional methods enable...
116
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper introduces a planning method for handling furniture which exists in real world. We propose a method which is easily expandable its handle able furniture such as clos...
137
click to vote
AAAI
1994
15 years 5 months ago
1994
This paper presents a plan-based architecture for response generation in collaborative consultation dialogues, with emphasis on cases in which the system (consultant) and user (ex...
169
click to vote
ATMOS
2010
15 years 3 months ago
2010
To model and solve optimization problems arising in public transportation, data about the passengers is necessary and has to be included in the models in any phase of the planning...
127
click to vote
NLPRS
2001
Springer
15 years 9 months ago
2001
Springer
In this paper we present a computational view of an automatic summary generator based on a discourse model that combines semantic, rhetorical and intentional knowledge in order to...