1532 search results - page 86 / 307 » The Symbol Grounding Problem |
101
click to vote
ICCV
2007
IEEE
16 years 6 months ago
2007
IEEE
The ground truth labeling of an image dataset is a task that often requires a large amount of human time and labor. We present an infrastructure for distributed human labeling tha...
147
click to vote
SIROCCO
2010
15 years 5 months ago
2010
Given a collection C of weighted subsets of a ground set E, the set cover problem is to find a minimum weight subset of C which covers all elements of E. We study a strategic game ...
132
click to vote
ENTCS
2007
15 years 4 months ago
2007
Symbolic model checking is PSPACE complete. Since QBF is the standard PSPACE complete problem, it is most natural to encode symbolic model checking problems as QBF formulas and th...
155
click to vote
PAMI
2010
15 years 2 months ago
2010
—We present a generative model and inference algorithm for 3D nonrigid object tracking. The model, which we call G-flow, enables the joint inference of 3D position, orientation, ...
120
click to vote
SPIRE
2009
Springer
15 years 10 months ago
2009
Springer
We introduce a symbol reordering technique that implicitly synchronizes variable-length codes, such that it is possible to directly access the i-th codeword without need of any sam...