876 search results - page 118 / 176 » A theory of learning with similarity functions |
118
click to vote
TLCA
2007
Springer
15 years 7 months ago
2007
Springer
Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data type, it provides a fold combinator encapsulating struc...
101
click to vote
MIRRORBOT
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents a human-like control of an innovative biped robot. The robot presents a total of twelve degrees of freedom; each joint resemble the functionalities of the human...
112
click to vote
COGSCI
2006
15 years 1 months ago
2006
We argue that computation via quantum mechanical processes is irrelevant to explaining how brains produce thought, contrary to the ongoing speculations of many theorists. First, q...
KES
2008
Springer
15 years 1 months ago
2008
Springer
In order to coordinate and deliver information in the right time and to the right place, theories from multi-agent systems and information logistics are combined. We use agents to ...
217
click to vote
POPL
2004
ACM
16 years 1 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...