1720 search results - page 224 / 344 » Unranking Combinations in Parallel |
CEC
2010
IEEE
14 years 11 months ago
2010
IEEE
The evolution of Artificial Intelligence has passed through many phases over the years, going from rigorous mathematical grounding to more intuitive bio-inspired approaches. Despit...
ECAI
2010
Springer
14 years 11 months ago
2010
Springer
Nested Monte-Carlo search is a general algorithm that gives good results in single player games. Genetic Programming evaluates and combines trees to discover expressions that maxim...
AICOM
2010
14 years 10 months ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
CVIU
2006
14 years 10 months ago
2006
The problem of image data fusion coming from different sensors imaging the same object is to try to obtain a result that integrates the best characteristics of each one of those s...
ENTCS
2006
14 years 10 months ago
2006
We define a compositional operational semantics for state machines and their composition in UML. Each state machine describes the behavior of an object of a class. If a class of a...