4894 search results - page 160 / 979 » Dynamic Abstraction Planning |
137
Voted
LPAR
2001
Springer
15 years 8 months ago
2001
Springer
When it comes to building robot controllers, highlevel programming arises as a feasible alternative to planning. The task then is to verify a high-level program by finding a lega...
165
click to vote
CIMAGING
2010
15 years 4 months ago
2010
Goals for treating congenital heart defects are becoming increasingly focused on the long-term, targeting solutions that last into adulthood. Although this shift has motivated the...
132
click to vote
ACL
1998
15 years 5 months ago
1998
This paper demonstrates that generating arguments in natural language requires at an abstract level, and that the ate abstraction cannot be captured by approaches based solely upo...
119
click to vote
DAGSTUHL
2003
15 years 5 months ago
2003
Abstract. There are a range of abstractions used for both modelling and proof modern computational systems. While these abstractions may have been devised for specific purposes, t...
118
click to vote
COR
2006
15 years 4 months ago
2006
The field of dynamic vehicle routing and scheduling is growing at a fast pace nowadays, due to many potential applications in courier services, emergency services, truckload and l...