10568 search results - page 627 / 2114 » Computer Intelligence and Formalization |
207
click to vote
ECCC
2008
15 years 7 months ago
2008
We continue the investigation of the task of meaningful communication among intelligent entities (players, agents) without any prior common language. Our generic thesis is that su...
186
click to vote
IJCINI
2007
15 years 7 months ago
2007
The Cognitive Processes of Abstraction and Formal Inferences J. A. Anderson: A Brain-Like Computer for Cognitive Software Applications: the Resatz Brain Project L. Flax: Cognitive ...
282
click to vote
Book
The book covers the basic machine vision techniques such as template matching, segmentation, classification, edge detection, etc
177
click to vote
GECCO
2005
Springer
16 years 18 days ago
2005
Springer
The nature of computer networks and the manner in which network services are provided are changing dramatically. Network architectures that employ virtual mobile agents to provide...
191
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for formal program development. Recently, it ...