Sciweavers

9626 search results - page 39 / 1926
» Invariant Based Programming
Sort
View
120
Voted
ICIP
2006
IEEE
16 years 3 months ago
An Illumination Invariant 3D Model Based Tracking Algorithm, with Application in Video Compression
We present an algorithm for illumination invariant 3D model based tracking and video compression. While model-based coding schemes are well developed, the compression rate reduces...
Long Nyugen, Yilei Xu, Amit K. Roy Chowdhury
SRDS
2010
IEEE
14 years 11 months ago
Invariants Based Failure Diagnosis in Distributed Computing Systems
This paper presents an instance based approach to diagnosing failures in computing systems. Owing to the fact that a large portion of occurred failures are repeated ones, our meth...
Haifeng Chen, Guofei Jiang, Kenji Yoshihira, Akhil...
87
Voted
ICCAD
2007
IEEE
143views Hardware» more  ICCAD 2007»
15 years 10 months ago
TIP-OPC: a new topological invariant paradigm for pixel based optical proximity correction
—As the 193nm lithography is likely to be used for 45nm and even 32nm processes, much more stringent requirement will be posed on Optical Proximity Correction (OPC) technologies....
Peng Yu, David Z. Pan
ERSHOV
2009
Springer
15 years 8 months ago
A Complete Invariant Generation Approach for P-solvable Loops
Abstract. We present an algorithm for generating all polynomial invariants of Psolvable loops with assignments and nested conditionals. We prove termination of our algorithm. The p...
Laura Kovács
GW
2003
Springer
125views Biometrics» more  GW 2003»
15 years 6 months ago
Gesture Analysis: Invariant Laws in Movement
This paper presents gesture analysis under the scope of motor control theory. Following the motor program view, some studies have revealed a number of invariant features that chara...
Sylvie Gibet, Jean-François Kamp, Franck Po...