5615 search results - page 942 / 1123 » On the Computational Capabilities of Several Models |
231
click to vote
ECML
2005
Springer
16 years 20 days ago
2005
Springer
Partially Observable Markov Decision Processes (POMDP) provide a standard framework for sequential decision making in stochastic environments. In this setting, an agent takes actio...
184
click to vote
FOSSACS
2005
Springer
16 years 20 days ago
2005
Springer
The idea of composition and decomposition to obtain computability results is particularly relevant for true-concurrency. In contrast to the interleaving world, where composition an...
159
click to vote
FROCOS
2005
Springer
16 years 20 days ago
2005
Springer
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...
174
click to vote
GECCO
2005
Springer
16 years 20 days ago
2005
Springer
We propose a method for applying genetic algorithms to create 3D terrain data sets. Existing procedural algorithms for generation of terrain have several shortcomings. The most po...
205
click to vote
ISMIR
2005
Springer
16 years 19 days ago
2005
Springer
We describe a recursive algorithm to quickly compute the N nearest neighbors according to a similarity measure in a metric space. The algorithm exploits an intrinsic property of a...