4022 search results - page 122 / 805 » Adaptive Sweeping Techniques |
KI
2009
Springer
14 years 4 months ago
2009
Springer
When mathematicians present proofs they usually adapt their explanations to their didactic goals and to the (assumed) knowledge of their addressees. Modern automated theorem prover...
ICDE
2008
IEEE
14 years 4 months ago
2008
IEEE
— In the context of adaptive query processing (AQP), several techniques have been proposed for dynamically adapting/redistributing processor load assignments throughout a computa...
ICAPR
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The aim of this paper is to present an improvement of a previously published algorithm. The proposed approach is performed in two steps. In the first step, we generate t...
AIPS
2003
13 years 11 months ago
2003
This paper presents a novel idea, which combines Planning, Machine Learning and Knowledge-Based techniques. It is concerned with the development of an adaptive planning system tha...
AAAI
1990
13 years 11 months ago
1990
Recently-developed techniques have improved the performance of production systems several times over. However, these techniques are not yet adequate for continuous problem solving...