5216 search results - page 683 / 1044 » Planning as Model Checking |
160
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
In this research, we propose CAD data mining technique to obtain semantic elements without prior knowledge about plans being designed. Our method consists of two steps. The first ...
173
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— We present a decentralized, scalable approach to assembling a group of heterogeneous parts into different products using a swarm of robots. While the assembly plans are predete...
191
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
The skyline operator was first proposed in 2001 for retrieving interesting tuples from a dataset. Since then, 100+ skyline-related papers have been published; however, we discove...
174
click to vote
COCOA
2009
Springer
16 years 1 months ago
2009
Springer
In the context of scheduling and timetabling, we study a challenging combinatorial problem which is very interesting for both practical and theoretical points of view. The motivati...
188
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— A long cherished goal in artificial intelligence has been the ability to endow a robot with the capacity to learn and generalize skills from watching a human teacher. Such an ...