1416 search results - page 205 / 284 » Designing creative artificial systems |
TPHOL
2009
IEEE
14 years 4 months ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
— Studies of primate locomotion have shown that the head and eyes are stabilized in space through the vestibulo-collic and vestibulo ocular Reflexes (VCR, VOR). The VOR is a refl...
ATAL
2007
Springer
14 years 4 months ago
2007
Springer
The interaction and integration of agent technology and data mining presents prominent benefits to solve some of challenging issues in individual areas. For instance, data mining ...
GPCE
2007
Springer
14 years 4 months ago
2007
Springer
Embedded systems can be viewed as scaled-down versions of their one counterparts. In many cases, the software abstractions and libraries for embedded systems can be derived from l...
CAEPIA
2005
Springer
14 years 3 months ago
2005
Springer
This paper presents an architecture that makes it possible to construct dynamic systems capable of growing in dimension and adapting its knowledge to environmental changes. An arch...