5363 search results - page 528 / 1073 » Building the Cerebellum in a Computer |
169
click to vote
ISSAC
1994
Springer
15 years 11 months ago
1994
Springer
New techniques, both theoretical and practical, are presented for constructing a permutation representation for a matrix group. We assume that the resulting permutation degree, n,...
242
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Solvers for satisfiability modulo theories (SMT) check the satisfiability of first-order formulas containing operations from various theories such as the Booleans, bit-ve...
195
click to vote
ECLIPSE
2007
ACM
15 years 11 months ago
2007
ACM
eConference is a text-based conferencing tool that supports distributed teams in need for synchronous communication and structured discussion services. Other than offering communi...
170
click to vote
IAT
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper investigates incremental multiagent learning in static or evolving structured networks. Learning examples are incrementally distributed among the agents, and the object...
180
click to vote
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
Being able to realistically simulate humans in emergency response activities is a key challenge for advancing the field of information technology for emergency response. Building ...