624 search results - page 4 / 125 » A Structured Approach for Synthesizing Planners from Specifi... |
VLDB
1990
ACM
13 years 9 months ago
1990
ACM
Database programming requires having the knowledge of database semantics both to maintain database integrity and to explore more optimization opportunities. Automated programming ...
ROBOCUP
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. This paper describes adaptive path planning, a novel approach to path planning for car-like mobile robots. Instead of creating a new plan from scratch, whenever changes i...
WIRI
2005
IEEE
13 years 11 months ago
2005
IEEE
Web service technologies are becoming a new paradigm for distributed computing. With increasing number of web services available on the internet, there is an urgent need for infor...
KER
2007
13 years 5 months ago
2007
AI planning solves the problem of generating a correct and efficient ordered set of instantiated activities, from a knowledge base of generic actions, which when executed will tra...
JCST
2008
13 years 5 months ago
2008
Transformational approaches to generating design and implementation models from requirements can bring effectiveness and quality to software development. In this paper we present a...