5165 search results - page 514 / 1033 » Consistency of the Neighbor-Net Algorithm |
197
click to vote
AIPS
2006
15 years 8 months ago
2006
Filtering denotes any method whereby an agent updates its belief state--its knowledge of the state of the world--from a sequence of actions and observations. In logical filtering,...
150
click to vote
NSDI
2004
15 years 8 months ago
2004
Currently, researchers designing and implementing largescale overlay services employ disparate techniques at each stage in the production cycle: design, implementation, experiment...
189
click to vote
AIPS
2000
15 years 8 months ago
2000
We develop an algorithm for merging plans that are represented in a richly expressive language. Speci cally, weare concerned with plans that have i quantitative temporal constrain...
170
click to vote
UAI
2003
15 years 8 months ago
2003
In this paper, we provide new complexity results for algorithms that learn discrete-variable Bayesian networks from data. Our results apply whenever the learning algorithm uses a ...
259
click to vote
TPCD
1994
15 years 8 months ago
1994
Theorem proving techniques are particularly well suited for reasoning about arithmetic above the bit level and for relating di erent f abstraction. In this paper we show how a non-...