7988 search results - page 319 / 1598 » A Useful Undecidable Theory |
149
Voted
IJCAI
2003
15 years 7 months ago
2003
A promising technique used in some planning systems to improve their performance is the use of domain dependent search control knowledge. We present a procedure for compiling sear...
91
Voted
ACL
2000
15 years 6 months ago
2000
In this paper, we outline a theory of referential accessibility called Veins Theory (VT). We show how VT addresses the problem of "left satellites", currently a problem ...
146
Voted
AAAI
1994
15 years 6 months ago
1994
We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making t...
183
click to vote
UAI
2007
15 years 6 months ago
2007
This paper is part of a project to match descriptions of real-world instances and probabilistic models, both of which can be described at mulvel of abstraction and detail. We use ...
150
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Smale's -theory uses estimates related to the convergence of Newton's method to give criteria implying that Newton iterations will converge quadratically to solutions to ...