2098 search results - page 130 / 420 » The Persistent Abstract Machine |
186
click to vote
LICS
2012
IEEE
13 years 7 months ago
2012
IEEE
—We propose a mathematical framework for step indexed realizability semantics of a call-by-value polymorphic lambda calculus with recursion, existential types and recursive types...
126
click to vote
AMAST
2004
Springer
15 years 10 months ago
2004
Springer
This abstract provides some background information about the electronic voting experiment that is planned in the Netherlands for the European Elections of 2004, and about our own i...
164
click to vote
CC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Some codes require computations to use fewer bits of precision than are normal for the target machine. For example, Java requires 32-bit arithmetic even on a 64-bit targe...
111
click to vote
ECML
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We propose a machine learning approach to action prediction in oneshot games. In contrast to the huge literature on learning in games where an agent's model is deduc...
146
click to vote
ICML
2010
IEEE
15 years 6 months ago
2010
IEEE
Transfer learning can be described as the tion of abstract knowledge from one learning domain or task and the reuse of that knowledge in a related domain or task. In categorizatio...