6020 search results - page 1047 / 1204 » A New Approach to Model Counting |
173
click to vote
CVPR
2009
IEEE
16 years 1 months ago
2009
IEEE
While video-based activity analysis and recognition has received much attention, existing body of work mostly deals with single object/person case. Coordinated multi-object activi...
134
click to vote
CHI
2009
ACM
16 years 1 months ago
2009
ACM
We present CThru, a self-guided video-based educational environment in a large multi-display setting. We employ a video-centered approach, creating and combining multimedia conten...
166
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
We introduce a new data mining problem: mining truth tables in binary datasets. Given a matrix of objects and the properties they satisfy, a truth table identifies a subset of pr...
156
click to vote
ICALT
2009
IEEE
16 years 1 months ago
2009
IEEE
Designing a computer-supported learning scenario involving a constructivist approach of learning lays on a paradox. On the one hand, learning flows must be precisely described –...
157
click to vote
ICRA
2009
IEEE
16 years 29 days ago
2009
IEEE
— We consider the problem of tracking multiple agents moving amongst obstacles, using multiple cameras. Given an environment with obstacles, and many people moving through it, we...