Sciweavers

3022 search results - page 96 / 605
» From plans to planning: the case of nursing plans
Sort
View
ICRA
2010
IEEE
106views Robotics» more  ICRA 2010»
14 years 9 months ago
Computing push plans for disk-shaped robots
Suppose we want to move a passive object along a given path, among obstacles in the plane, by pushing it with an active robot. We present two algorithms to compute a push plan for...
Mark de Berg, Dirk H. P. Gerrits
ECAI
2006
Springer
15 years 2 months ago
Compact Representation of Sets of Binary Constraints
Abstract. We address the problem of representing big sets of binary constraints compactly. Binary constraints in the form of 2literal clauses are ubiquitous in propositional formul...
Jussi Rintanen
ICRA
2007
IEEE
146views Robotics» more  ICRA 2007»
15 years 5 months ago
Crowds of Moving Objects: Navigation Planning and Simulation
Abstract— This paper presents a solution to interactive navigation planning and real-time simulation of a very large number of entities moving in a virtual environment. From the ...
Julien Pettré, Helena Grillon, Daniel Thalm...
SAINT
2003
IEEE
15 years 4 months ago
Planning For Web Services the Hard Way
In this paper we outline a framework for performing automated discovery, composition and execution of web services based solely on the information available in interface descripti...
Mark James Carman, Luciano Serafini
AAAI
2010
15 years 15 days ago
A Novel Transition Based Encoding Scheme for Planning as Satisfiability
Planning as satisfiability is a principal approach to planning with many eminent advantages. The existing planning as satisfiability techniques usually use encodings compiled from...
Ruoyun Huang, Yixin Chen, Weixiong Zhang