2373 search results - page 303 / 475 » On the Theory of Structural Subtyping |
194
click to vote
ECAL
2007
Springer
16 years 24 days ago
2007
Springer
The “order for free” exhibited by some classes of system has been exploited by natural selection in order to build systems capable of exhibiting complex behaviour. Here we expl...
171
click to vote
GECCO
2007
Springer
16 years 23 days ago
2007
Springer
This paper introduces a new variety of learning classifier system (LCS), called MILCS, which utilizes mutual information as fitness feedback. Unlike most LCSs, MILCS is specifical...
186
click to vote
PPDP
2007
Springer
16 years 22 days ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
184
click to vote
UM
2007
Springer
16 years 22 days ago
2007
Springer
Accurately recognizing users’ affective states could contribute to more productive and enjoyable interactions, particularly for task-oriented learning environments. In addition t...
182
click to vote
3DPVT
2006
IEEE
16 years 21 days ago
2006
IEEE
The use of surface harmonics for rigid and nonrigid shape description is well known. In this paper we define a set of complete hemispherical harmonic basis functions on a hemisph...