853 search results - page 73 / 171 » Dyslexia and learning computer programming |
100
Voted
NIPS
2007
15 years 2 months ago
2007
We present an algorithm called Optimistic Linear Programming (OLP) for learning to optimize average reward in an irreducible but otherwise unknown Markov decision process (MDP). O...
99
Voted
OSDI
2004
ACM
16 years 27 days ago
2004
ACM
Program-counter-based (PC-based) prediction techniques have been shown to be highly effective and are widely used in computer architecture design. In this paper, we explore the op...
112
click to vote
ENTCS
2008
15 years 20 days ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
111
click to vote
IJCAI
2007
15 years 2 months ago
2007
We explore an application to the game of Go of a reinforcement learning approach based on a linear evaluation function and large numbers of binary features. This strategy has prov...
116
Voted
ICML
2010
IEEE
15 years 1 months ago
2010
IEEE
Many structured prediction tasks involve complex models where inference is computationally intractable, but where it can be well approximated using a linear programming relaxation...