1782 search results - page 103 / 357 » Learning in Parallel Universes |
SAT
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We describe a DPLL-based solver for the problem of quantified boolean formulas (QBF) in non-prenex, non-CNF form. We make two contributions. First, we reformulate clause...
AIEDU
2005
14 years 9 months ago
2005
The Andes system is a mature intelligent tutoring system that has helped hundreds of students improve their learning of university physics. It replaces pencil and paper problem so...
CCGRID
2005
IEEE
15 years 3 months ago
2005
IEEE
In this paper, starting from the limitations and constrains of traditional human learning approaches, we outline new suitable approaches to education and training in future knowle...
103
click to vote
NIPS
2003
14 years 11 months ago
2003
A novel algorithm for actively trading stocks is presented. While traditional universal algorithms (and technical trading heuristics) attempt to predict winners or trends, our app...
102
click to vote
SODA
2000
ACM
14 years 11 months ago
2000
ACM
We present a new general upper bound on the number of examples required to estimate all of the expectations of a set of random variables uniformly well. The quality of the estimat...