3446 search results - page 207 / 690 » A Reasoning Algorithm for pD* |
156
click to vote
ESA
2001
Springer
15 years 9 months ago
2001
Springer
In this paper we describe a general grouping technique to devise faster and simpler approximation schemes for several scheduling problems. We illustrate the technique on two diff...
133
click to vote
CAV
1993
Springer
15 years 8 months ago
1993
Springer
Abstract. This paper presents a scalable approach to reasoning formally about distributed algorithms. It uses results about I O automata to extract a set of proof obligations for s...
165
click to vote
MCS
2000
Springer
15 years 8 months ago
2000
Springer
Ensemble methods are learning algorithms that construct a set of classi ers and then classify new data points by taking a (weighted) vote of their predictions. The original ensembl...
113
click to vote
IJCAI
1989
15 years 5 months ago
1989
Nilsson's Probabilistic Logic is a set theoretic mechanism for reasoning with uncertainty. We propose a new way of looking at the probability constraints enforced by the fram...
142
click to vote
ICCV
2007
IEEE
16 years 6 months ago
2007
IEEE
An interactive human segmentation approach is described. Given regions of interest provided by users, the approach iteratively estimates segmentation via a generalized EM algorith...