Sciweavers

14709 search results - page 124 / 2942
» Semantic feature modelling
Sort
View
TACAS
2007
Springer
105views Algorithms» more  TACAS 2007»
14 years 2 months ago
Hoare Logic for Realistically Modelled Machine Code
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
Magnus O. Myreen, Michael J. C. Gordon
COGCOM
2011
228views more  COGCOM 2011»
13 years 3 months ago
Clustering of Gaze During Dynamic Scene Viewing is Predicted by Motion
Where does one attend when viewing dynamic scenes? Research into the factors influencing gaze location during static scene viewing have reported that low-level visual features con...
Parag K. Mital, Tim J. Smith, Robin L. Hill, John ...
CIVR
2010
Springer
247views Image Analysis» more  CIVR 2010»
13 years 3 months ago
Coherent bag-of audio words model for efficient large-scale video copy detection
Current content-based video copy detection approaches mostly concentrate on the visual cues and neglect the audio information. In this paper, we attempt to tackle the video copy d...
Yang Liu, Wanlei Zhao, Chong-Wah Ngo, Changsheng X...
ICCV
2005
IEEE
14 years 10 months ago
Modeling Scenes with Local Descriptors and Latent Aspects
We present a new approach to model visual scenes in image collections, based on local invariant features and probabilistic latent space models. Our formulation provides answers to...
Pedro Quelhas, Florent Monay, Jean-Marc Odobez, Da...
ISVC
2010
Springer
13 years 6 months ago
Bivariate Feature Localization for SIFT Assuming a Gaussian Feature Shape
In this paper, the well-known SIFT detector is extended with a bivariate feature localization. This is done by using function models that assume a Gaussian feature shape for the de...
Kai Cordes, Oliver Müller, Bodo Rosenhahn, J&...