Sciweavers

9626 search results - page 65 / 1926
» Invariant Based Programming
Sort
View
CVPR
2009
IEEE
15 years 11 months ago
Resolution-Invariant Image Representation and its applications
We present a Resolution-Invariant Image Representation (RIIR) framework in this paper. The RIIR framework includes the methods of building a set of multi-resolution bases from tra...
Jinjun Wang, Shenghuo Zhu, Yihong Gong
ASPDAC
2005
ACM
106views Hardware» more  ASPDAC 2005»
15 years 6 months ago
Using loop invariants to fight soft errors in data caches
Ever scaling process technology makes embedded systems more vulnerable to soft errors than in the past. One of the generic methods used to fight soft errors is based on duplicati...
Sri Hari Krishna Narayanan, Seung Woo Son, Mahmut ...
TCSV
2008
291views more  TCSV 2008»
15 years 4 months ago
A Statistical Video Content Recognition Method Using Invariant Features on Object Trajectories
Abstract--This work is dedicated to a statistical trajectorybased approach addressing two issues related to dynamic video content understanding: recognition of events and detection...
Alexandre Hervieu, Patrick Bouthemy, Jean-Pierre L...
SAS
2010
Springer
141views Formal Methods» more  SAS 2010»
15 years 2 months ago
Statically Inferring Complex Heap, Array, and Numeric Invariants
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
Bill McCloskey, Thomas W. Reps, Mooly Sagiv
ICPR
2006
IEEE
16 years 5 months ago
Fast, Illumination Insensitive Face Detection Based on Multilinear Techniques and Curvature Features
This paper brings together two recent developments in image analysis. We consider a new mathematical framework that provides illumination invariant descriptors for face detection....
Christian Bauckhage, Thomas Käster