2623 search results - page 84 / 525 » Universal Learning Theory |
GRAPHITE
2003
ACM
14 years 3 months ago
2003
ACM
Much literature has argued that interactive engagement in a computer medium is best demonstrated by games. With this in mind, this paper suggests certain techniques that virtual e...
CALCO
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Labelled Markov processes are continuous-state fully probabilistic labelled transition systems. They can be seen as co-algebras of a suitable monad on the category of mea...
LICS
2000
IEEE
14 years 2 months ago
2000
IEEE
We give an axiomatic treatment of fixed-point operators in categories. A notion of iteration operator is defined, embodying the equational properties of iteration theories. We p...
ESOP
2009
Springer
14 years 2 months ago
2009
Springer
We present an algebraic treatment of exception handlers and, more generally, introduce handlers for other computational effects representable by an algebraic theory. These include ...
ICALT
2006
IEEE
14 years 4 months ago
2006
IEEE
The new e-learning trend, called mobile learning opens variety of questions to solve. To allow access to learning content anytime and anyplace a technique called hoarding is somet...