828 search results - page 134 / 166 » types 2000 |
AI
2000
Springer
13 years 7 months ago
2000
Springer
Markov decisionprocesses(MDPs) haveproven to be popular models for decision-theoretic planning, but standard dynamic programming algorithms for solving MDPs rely on explicit, stat...
AI
2000
Springer
13 years 7 months ago
2000
Springer
Credal networks are models that extend Bayesian nets to deal with imprecision in probability, and can actually be regarded as sets of Bayesian nets. Evidence suggests that credal ...
AROBOTS
2000
13 years 7 months ago
2000
As research expands in multiagent intelligent systems, investigators need new tools for evaluating the artificial societies they study. It is impossible, for example, to correlate ...
BELL
2000
13 years 7 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
BIB
2000
13 years 7 months ago
2000
Much of biology works by applying prior knowledge (`what is known') to an unknown entity, rather than the application of a set of axioms that will elicit knowledge. In additi...