Sciweavers

1302 search results - page 15 / 261
» Deductive Plan Generation
Sort
View
AIPS
1998
13 years 9 months ago
Generation of Multiple Qualitatively Different Plan Options
In this paper, wepresent a Web-baseddemonstration of a Course of Action (COA)comparisonmatrix being used as an interface to an O-Planplan server to explore multiple qualitatively ...
Austin Tate, Jeff Dalton, John Levine
PEPM
1995
ACM
13 years 11 months ago
Towards Creating Specialised Integrity Checks through Partial Evaluation of Meta-Interpreters
In [23] we presented a partial evaluation scheme for a “real life” subset of Prolog, containing first-order built-in’s, simple side-effects and the operational predicate i...
Michael Leuschel, Danny De Schreye
SNPD
2003
13 years 9 months ago
An Industrial Experience in Comparing Manual vs. Automatic Test Cases Generation
We present our experience in automatically deriving a detailed test case plan exclusively using the UML diagrams developed during the analysis and design phases. We consider in pa...
Francesca Basanieri, Pierpaolo Iani, Gaetano Lomba...
FUIN
2010
102views more  FUIN 2010»
13 years 4 months ago
Efficient Plan Adaptation through Replanning Windows and Heuristic Goals
Fast plan adaptation is important in many AI-applications. From a theoretical point of view, in the worst case adapting an existing plan to solve a new problem is no more efficien...
Alfonso Gerevini, Ivan Serina
XSYM
2007
Springer
123views Database» more  XSYM 2007»
14 years 1 months ago
Let a Single FLWOR Bloom
To globally optimize execution plans for XQuery expressions, a plan generator must generate and compare plan alternatives. In proven compiler architectures, the unit of plan genera...
Matthias Brantner, Carl-Christian Kanne, Guido Moe...