7065 search results - page 109 / 1413 » Iterative Scheduling Algorithms |
162
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
Many real-world applications of AI require both probability and first-order logic to deal with uncertainty and structural complexity. Logical AI has focused mainly on handling com...
127
click to vote
AAAI
2006
15 years 6 months ago
2006
Most existing decision tree inducers are very fast due to their greedy approach. In many real-life applications, however, we are willing to allocate more time to get better decisi...
126
click to vote
ESOP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We present a generic algorithm for solving Horn clauses through iterative specialisation. The algorithm is generic in the sense that it can be instantiated with any decid...
121
click to vote
AUTOMATICA
2002
15 years 4 months ago
2002
This paper addresses the initial shift problem in iterative learning control with system relative degree. The tracking error caused by nonzero initial shift is detected when apply...
129
click to vote
ERSHOV
2003
Springer
15 years 10 months ago
2003
Springer
We present several new algorithms as well as new lower and upper bounds for optimizing functions underlying infinite games pertinent to computer-aided verification.