Sciweavers

20294 search results - page 177 / 4059
» Algorithmic Information Theory
Sort
View
AGI
2008
15 years 6 months ago
Anticipative coordinated cognitive processes for interactivist and Piagetian theories
Abstract. This paper presents a model of intelligence based on principles introduced by Piaget and the interactivist framework. It focuses on embodiment and sensory-motor aspects o...
Jean-Charles Quinton, Jean-Christophe Buisson, Fil...

Book
290views
17 years 3 months ago
Type Theory and Functional Programming
"Constructive Type theory has been a topic of research interest to computer scientists, mathematicians, logicians and philosophers for a number of years. For computer scient...
Simon Thompson
IBERAMIA
2004
Springer
15 years 10 months ago
Checking Social Properties of Multi-agent Systems with Activity Theory
Many approaches of the agent paradigm emphasize the social and intentional features of their systems, what are called social properties. The study of these aspects demands their ow...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...
MMS
2006
15 years 4 months ago
Forms and theories of communication: from multimedia to Kansei Mediation
Abstract In this paper we describe a form of communication that could be used for lifelong learning as contribution to cultural computing. We call it Kansei Mediation. It is a mult...
Ryohei Nakatsu, Matthias Rauterberg, Ben Salem
CORR
2011
Springer
161views Education» more  CORR 2011»
14 years 12 months ago
The physical Church-Turing thesis and the principles of quantum theory
Abstract. Notoriously, quantum computation shatters complexity theory, but is innocuous to computability theory [17]. Yet several works have shown how quantum theory as it stands c...
Pablo Arrighi, Gilles Dowek