2623 search results - page 257 / 525 » Universal Learning Theory |
165
click to vote
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
Termination of recursive functions is an important property in proof assistants based on dependent type theories; it implies consistency and decidability of type checking. Type-bas...
195
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
We present an explicitly typed lambda calculus "`a la Church" based on the union and intersection types discipline; this system is the counterpart of the standard type a...
177
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
We consider a mild extension of universal algebra in which terms are built both from deterministic and probabilistic variables, and are interpreted as distributions. We formulate a...
167
click to vote
HCI
2011
14 years 10 months ago
2011
There can often be a gap between theory and its implications for practice in human-behavioral studies. This gap can be particularly significant outside psychology departments. Most...
169
click to vote
GECCO
2009
Springer
16 years 1 months ago
2009
Springer
Many successful applications have proven the potential of Learning Classifier Systems and the XCS classifier system in particular in datamining, reinforcement learning, and func...