91 search results - page 12 / 19 » Towards Domain-Independent Machine Intelligence |
TPHOL
2005
IEEE
14 years 2 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
ATAL
2003
Springer
14 years 1 months ago
2003
Springer
In this paper we present a genetic algorithm-based approach towards designing self-assembling objects comprised of square smart blocks. Each edge of each block can have one of thr...
JCM
2006
13 years 8 months ago
2006
Spectrum regulation will undergo elementary changes in the near future allowing a less restricted and more flexible access to radio spectrum. Intelligent radios, socalled cognitive...
ECML
1993
Springer
14 years 21 days ago
1993
Springer
Research in systems where learning is integrated to other components like problem solving, vision, or natural language is becoming an important topic for Machine Learning. Situatio...
IJCNN
2008
IEEE
14 years 3 months ago
2008
IEEE
—A novel wake-sleep learning architecture for processing a robot’s facial expressions is introduced. According to neuroscience evidence, associative learning of emotional respo...