10568 search results - page 711 / 2114 » Computer Intelligence and Formalization |
200
click to vote
AAAI
1996
15 years 8 months ago
1996
Anytime algorithms offer a tradeoff between solution quality and computation time that has proved useful in applying artificial intelligence techniques to time-critical problems. ...
146
click to vote
AAAI
1990
15 years 8 months ago
1990
Automating proofs by induction is important in many computer science and artificial intelligence applications, in particular in program verification and specification systems. We ...
163
click to vote
CEC
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract-- This paper describes the 2009 Mario AI Competition, which was run in association with the IEEE Games Innovation Conference and the IEEE Symposium on Computational Intell...
177
click to vote
CEC
2010
IEEE
15 years 8 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...
179
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
d Abstract) Dan Erusalimchik1 , Gal A. Kaminka1 , Shai Shlomai2 , Dov Miron1 , and Sarit Kraus2 The 1 MAVERICK Group and the 2 Multi-Agent Systems Group Computer Science Department...