934 search results - page 85 / 187 » exact 2007 |
134
click to vote
AI
2007
Springer
15 years 10 months ago
2007
Springer
Importance sampling-based algorithms are a popular alternative when Bayesian network models are too large or too complex for exact algorithms. However, importance sampling is sensi...
138
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
We present a new method for carrying out state estimation in multiagent settings that are characterized by continuous or large discrete state spaces. State estimation in multiagen...
114
click to vote
BIOWIRE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Termites are known for building some of the most elaborate architectures observed in the animal world. We here analyse some topological properties of three dimensional ne...
164
click to vote
BTW
2007
Springer
15 years 10 months ago
2007
Springer
: Over the recent years, very little effort has been made to give XPath a proper algebraic treatment. The only laudable exception is the Natix Algebra (NAL) which defines the tran...
165
click to vote
CSL
2007
Springer
15 years 10 months ago
2007
Springer
The question of the exact complexity of solving parity games is one of the major open problems in system verification, as it is equivalent to the problem of model-checking the mod...