3333 search results - page 157 / 667 » Abstract Proof Search |
121
click to vote
CADE
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This article introduces two techniques to improve the propagation efficiency of CSP based finite model generation methods. One approach consists in statically rewriting ...
EVOW
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper investigates the communication system of honeybees with the purpose of obtaining an intelligent approach for threedimensional reconstruction. A new framework i...
ECIR
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. In the last years several top-quality papers utilized temporary Desktop data and/or browsing activity logs for experimental evaluation. Building a common testbed for the ...
149
click to vote
ACG
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Games are considered important benchmark tasks of artificial intelligence research. Modern strategic board games can typically be played by three or more people, which m...
190
click to vote
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
The traditional GA theory is pillared on the Building Block Hypothesis (BBH) which states that Genetic Algorithms (GAs) work by discovering, emphasizing and recombining low order ...