793 search results - page 79 / 159 » Analogical Path Planning |
ENGL
2007
13 years 8 months ago
2007
Abstract—In any formal theory, a proof is a sequence of well formed formulas (wff). Here, we consider the digraph whose nodes are proofs and the edges are pairs of proofs such t...
ORL
2008
13 years 8 months ago
2008
By analogy with the conjecture of Hirsch, we conjecture that the order of the largest total curvature of the central path associated to a polytope is the number of inequalities de...
AAAI
1997
13 years 9 months ago
1997
To effectively generate a fast and consistent apartment construction project network, Hyundai and KAIST have developed a case and constraint based project planning expert system f...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
— When navigating in an unknown environment for the first time, a natural behavior consists in memorizing some key views along the performed path, in order to use these referenc...
JAIR
2006
13 years 8 months ago
2006
In this paper, we present the partitioning of mutual-exclusion (mutex) constraints in temporal planning problems and its implementation in the SGPlan4 planner. Based on the strong...