5363 search results - page 1036 / 1073 » Building the Cerebellum in a Computer |
127
click to vote
MSS
2000
IEEE
15 years 6 months ago
2000
IEEE
The CEDARS∗ project within UK academia seeks to develop a demonstrator system to recommend techniques for long-term storage of digital data primarily within the research library...
111
click to vote
CRYPTO
2000
Springer
15 years 6 months ago
2000
Springer
In this work we use cryptography to solve a game-theoretic problem which arises naturally in the area of two party strategic games. The standard game-theoretic solution concept for...
133
click to vote
EH
1999
IEEE
15 years 6 months ago
1999
IEEE
We address the fundamental issue of fully automated design (FAD) and construction of inexpensive robots and their controllers. Rather than seek an intelligent general purpose robo...
106
click to vote
MICRO
1999
IEEE
15 years 6 months ago
1999
IEEE
Building a high-performance microprocessor presents many reliability challenges. Designers must verify the correctness of large complex systems and construct implementations that ...
107
Voted
EUROCOLT
1999
Springer
15 years 6 months ago
1999
Springer
The present paper motivates the study of mind change complexity for learning minimal models of length-bounded logic programs. It establishes ordinal mind change complexity bounds ...