553 search results - page 36 / 111 » Learning Meets Verification |
SIGUCCS
2005
ACM
14 years 3 months ago
2005
ACM
Many higher education institutions are searching for cost effective tools for the delivery of a feature rich, synchronous online learning environment. While there are several comm...
CSCW
2006
ACM
14 years 4 months ago
2006
ACM
Large numbers of college students have become avid Facebook users in a short period of time. In this paper, we explore whether these students are using Facebook to find new people...
UM
2005
Springer
14 years 3 months ago
2005
Springer
Inference and decision making with probabilistic user models may be infeasible on portable devices such as cell phones. We highlight the opportunity for storing and using precomput...
ECAI
1994
Springer
14 years 2 months ago
1994
Springer
1 We develop a learning component for a theorem prover designed for verifying statements by mathematical induction. If the prover has found a proof, it is analyzed yielding a so-ca...
FSTTCS
2006
Springer
14 years 1 months ago
2006
Springer
We propose a new approach to verification of probabilistic processes for which the model may not be available. We use a technique from Reinforcement Learning to approximate how far...