2819 search results - page 308 / 564 » Automatic Structures |
167
Voted
TCSV
2008
15 years 3 months ago
2008
Abstract--This paper presents a survey of trajectory-based activity analysis for visual surveillance. It describes techniques that use trajectory data to define a general set of ac...
234
Voted
Publication
This paper presents a multi-output regression model for crowd counting in public scenes. Existing counting by regression methods either learn a single model for global counting, or...
117
Voted
CADE
2007
Springer
16 years 4 months ago
2007
Springer
Abstract. Hoare logic is widely used for software specification and verification. Frequently we need to prove the total correctness of a program: to prove that the program not only...
135
Voted
AAAI
2007
15 years 6 months ago
2007
We present a novel approach to recognizing Textual nt. Structural features are constructed from abstract tree descriptions, which are automatically extracted from syntactic depend...
160
Voted
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
We present a novel multi-view denoising algorithm. Our
algorithm takes noisy images taken from different viewpoints
as input and groups similar patches in the input images using
...