5363 search results - page 531 / 1073 » Building the Cerebellum in a Computer |
312
click to vote
AISB
2008
Springer
15 years 9 months ago
2008
Springer
This position paper argues the case for the application of constructivist theories to Artificial Intelligence, with particular emphasis on Piaget's theory. The idea of buildin...
181
click to vote
ITP
2010
15 years 9 months ago
2010
We present a new formalization of the algebraic hierarchy in Coq, exploiting its new type class mechanism to make practical a solution formerly thought infeasible. Our approach add...
162
click to vote
CIKM
2008
Springer
15 years 9 months ago
2008
Springer
In this paper, we propose an ontology-based approach that enables to detect the emergence of relational conflicts between persons that cooperate on computer supported projects. In...
171
click to vote
CP
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. This report presents a generic filtering scheme, based on the graph description of global constraints. This description is defined by a network of binary constraints and ...
181
click to vote
COCO
2008
Springer
15 years 9 months ago
2008
Springer
This paper shows a complete upward collapse in the Polynomial Hierarchy (PH) if for ZPP, two queries to a SAT oracle is equivalent to one query. That is, ZPPSAT[1] = ZPPSAT [2] = ...