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 18 days 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 17 days 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 7 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...