1002 search results - page 107 / 201 » Reasoning about Object Structures Using Ownership |
149
click to vote
ICCV
2011
IEEE
14 years 2 months ago
2011
IEEE
While numerous algorithms have been proposed for object tracking with demonstrated success, it remains a challenging problem for a tracker to handle large change in scale, motion,...
147
click to vote
ATVA
2007
Springer
15 years 8 months ago
2007
Springer
Automated software verification has made great progress recently, and a key enabler of this progress has been the advances in efficient, automated decision procedures suitable fo...
118
click to vote
ACL
2012
13 years 4 months ago
2012
This paper uses an unsupervised model of grounded language acquisition to study the role that social cues play in language acquisition. The input to the model consists of (orthogr...
138
click to vote
CADE
2005
Springer
16 years 2 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
138
Voted
EMMCVPR
2001
Springer
15 years 6 months ago
2001
Springer
To segregate overlapping objects into depth layers requires the integration of local occlusion cues distributed over the entire image into a global percept. We propose to model thi...