Sciweavers

7167 search results - page 50 / 1434
» A Technique for Invariant Generation
Sort
View
ICPR
2006
IEEE
16 years 7 months ago
Fundamental Matrix Estimation via TIP - Transfer of Invariant Parameters
The fundamental matrix (FM) represents the perspective transform between two or more uncalibrated images of a stationary scene, and is traditionally estimated based on 2parameter ...
Frank Riggi, Matthew Toews, Tal Arbel
ACSAC
2008
IEEE
16 years 1 months ago
Automatic Inference and Enforcement of Kernel Data Structure Invariants
Kernel-level rootkits affect system security by modifying key kernel data structures to achieve a variety of malicious goals. While early rootkits modified control data structur...
Arati Baliga, Vinod Ganapathy, Liviu Iftode
ICCV
2001
IEEE
16 years 8 months ago
Visual Servoing Invariant to Changes in Camera Intrinsic Parameters
This paper presents a new visual servoing scheme which is invariant to changes in camera intrinsic parameters. Current visual servoing techniques are based on the learning of a ref...
Ezio Malis
DSN
2008
IEEE
16 years 1 months ago
Using likely program invariants to detect hardware errors
In the near future, hardware is expected to become increasingly vulnerable to faults due to continuously decreasing feature size. Software-level symptoms have previously been used...
Swarup Kumar Sahoo, Man-Lap Li, Pradeep Ramachandr...
ICIP
2005
IEEE
16 years 8 months ago
Multigrid computation of rotationally invariant non-linear optical flow
In supplement to an earlier paper, we present an altered cost functional for the computation of an edge-preserving optical flow that is invariant to rotation. In addition, we expl...
Christopher V. Alvino, Allen Tannenbaum, Anthony J...