279 search results - page 22 / 56 » Computing Intersections of Horn Theories for Reasoning with ... |
CG
2008
Springer
13 years 11 months ago
2008
Springer
Since Chase and Simon presented their influential paper on perception in chess in 1973, the use of chunks has become the subject of a number of studies into the cognitive behavior ...
GECCO
2006
Springer
14 years 19 days ago
2006
Springer
Metaheuristics have often been shown to be effective for difficult combinatorial optimization problems. The reason for that, however, remains unclear. A framework for a theory of ...
ROBOCUP
2004
Springer
14 years 2 months ago
2004
Springer
The paper discusses a top-down approach to model soccer knowledge, as it can be found in soccer theory books. The goal is to model soccer strategies and tactics in a way that they ...
AMAI
2000
Springer
13 years 8 months ago
2000
Springer
This is a prospective on the research in the intersection of mathematics and artificial intelligence that I see as having been the most important over the past 10 years and that I...
IPPS
1999
IEEE
14 years 1 months ago
1999
IEEE
Parallel programming continues to be difficult, despite substantial and ongoing research aimed at making it tractable. Especially dismaying is the gulf between theory and the pract...