1248 search results - page 105 / 250 » Decision Tree Grafting |
151
click to vote
JVA
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural ded...
140
click to vote
CADE
2001
Springer
15 years 9 months ago
2001
Springer
The dependency pair method of Arts and Giesl is the most powerful technique for proving termination of term rewrite systems automatically. We show that the method can be improved b...
117
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
Many decision problems can be modelled as adversarial constraint satisfaction, which allows us to integrate methods from AI game playing. In particular, by using the idea of oppone...
148
click to vote
ICML
2005
IEEE
16 years 5 months ago
2005
IEEE
We present an efficient "sparse sampling" technique for approximating Bayes optimal decision making in reinforcement learning, addressing the well known exploration vers...
140
click to vote
CBMS
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes techniques used in a Web-based decision support system to enhance dermatological diagnosis for rural and remote communities. We proposed a technique to improv...