Sciweavers

1569 search results - page 86 / 314
» On the Locality of Representations
Sort
View
LPAR
2012
Springer
14 years 2 months ago
Querying Proofs
We motivate and introduce a query language PrQL designed for inspecting machine representations of proofs. PrQL natively supports hiproofs which express proof structure using hiera...
David Aspinall, Ewen Denney, Christoph Lüth
ICPR
2006
IEEE
16 years 8 months ago
Object Localization Using Input/Output Recursive Neural Networks
Localizing objects in images is a difficult task and represents the first step to the solution of the object recognition problem. This paper presents a novel approach to the local...
Lorenzo Sarti, Marco Maggini, Monica Bianchini
CVPR
2009
IEEE
16 years 4 months ago
Recognizing human group activities with localized causalities
The aim of this paper is to address the problem of recognizing human group activities in surveillance videos. This task has great potentials in practice, however was rarely studie...
Ashraf A. Kassim, Bingbing Ni, Shuicheng Yan
CIVR
2009
Springer
221views Image Analysis» more  CIVR 2009»
16 years 1 months ago
Movie segmentation into scenes and chapters using locally weighted bag of visual words
Movies segmentation into semantically correlated units is a quite tedious task due to ”semantic gap”. Low-level features do not provide useful information about the semantical...
Vasileios Chasanis, Argyris Kalogeratos, Aristidis...
ICCV
2007
IEEE
16 years 1 months ago
Non-Rigid Object Alignment with a Mismatch Template Based on Exhaustive Local Search
Non-rigid object alignment is especially challenging when only a single appearance template is available and target and template images fail to match. Two sources of discrepancy b...
Yang Wang, Simon Lucey, Jeffrey F. Cohn