2623 search results - page 165 / 525 » Universal Learning Theory |
180
click to vote
ACS
2002
15 years 4 months ago
2002
cal Abstract Algebraic Logic: Algebraizable Institutions To Don Pigozzi this work is dedicated GEORGE VOUTSADAKIS Department of Mathematics, Iowa State University, Ames, IA 50011 U...
207
click to vote
AGI
2011
14 years 8 months ago
2011
Abstract. Recent theories of universal algorithmic intelligence, combined with the view that the world can be completely specified in mathematical terms, have led to claims about ...
165
Voted
ICFP
2012
ACM
13 years 7 months ago
2012
ACM
Programming with dependent types is a blessing and a curse. It is a blessing to be able to bake invariants into the definition of datatypes: we can finally write correct-by-cons...
124
click to vote
CIS
2005
Springer
15 years 10 months ago
2005
Springer
Independent component analysis (ICA) has been applied in many fields of signal processing and many ICA learning algorithms have been proposed from different perspectives. However...
163
click to vote
AGENTS
2001
Springer
15 years 9 months ago
2001
Springer
This paper describes Icarus, an agent architecture that embeds a hierarchical reinforcement learning algorithm within a language for specifying agent behavior. An Icarus program e...