553 search results - page 52 / 111 » Learning Meets Verification |
CVPR
2010
IEEE
14 years 6 months ago
2010
IEEE
Active learning methods aim to select the most informative unlabeled instances to label first, and can help to focus image or video annotations on the examples that will most impr...
ATAL
2004
Springer
14 years 3 months ago
2004
Springer
One of the main challenges in Grid computing is efficient allocation of resources (CPU-hours, network bandwidth, etc.) to the tasks submitted by users. Due to the lack of centrali...
AIED
2009
Springer
14 years 2 months ago
2009
Springer
Project course instructors routinely perform their formal assessments based on impressions formed from their mostly indirect experience with the groups they oversee. Nevertheless, ...
HCI
2009
13 years 7 months ago
2009
Games are increasingly being used as educational tools, in part because they are presumed to enhance student motivation. We look at student motivation in games from the viewpoint o...
CC
2010
Springer
13 years 7 months ago
2010
Springer
We prove that the concept class of disjunctions cannot be pointwise approximated by linear combinations of any small set of arbitrary real-valued functions. That is, suppose that t...