7167 search results - page 17 / 1434 » A Technique for Invariant Generation |
ENTCS
2010
14 years 9 months ago
2010
The global states of complex systems often form pospaces, topological spaces equipped with compatible partial orders reflecting causal relationships between the states. The calcul...
101
click to vote
FASE
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present a new method for automatic generation of loop invariants for programs containing arrays. Unlike all previously known methods, our method allows one to generate...
ICPR
2006
IEEE
2006
IEEE
Fast, Illumination Insensitive Face Detection Based on Multilinear Techniques and Curvature Features
15 years 10 months ago
This paper brings together two recent developments in image analysis. We consider a new mathematical framework that provides illumination invariant descriptors for face detection....
CCS
2001
ACM
15 years 2 months ago
2001
ACM
We propose a novel and robust hashing paradigm that uses iterative geometric techniques and relies on observations that main geometric features within an image would approximately ...
TIT
2002
14 years 9 months ago
2002
Abstract-- In this paper, a necessary and sufficient condition for sampling in the general framework of shift invariant spaces is derived. Then this result is applied respectively ...