Sciweavers

3771 search results - page 266 / 755
» Subobject Transformation Systems
Sort
View
121
Voted
IROS
2007
IEEE
154views Robotics» more  IROS 2007»
15 years 10 months ago
A Kalman filter-based algorithm for IMU-camera calibration
—Vision-aided inertial navigation systems (V-INSs) can provide precise state estimates for the 3-D motion of a vehicle when no external references (e.g., GPS) are available. This...
Faraz M. Mirzaei, Stergios I. Roumeliotis
ACISP
2005
Springer
15 years 9 months ago
Cancelable Key-Based Fingerprint Templates
Biometric based authentication can provide strong security guarantee about the identity of users. Security of biometric data is particularly important as compromise of the data wil...
Russell Ang, Reihaneh Safavi-Naini, Luke McAven
120
Voted
SEKE
2005
Springer
15 years 9 months ago
Institution Morphisms for Relating OWL and Z
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
CC
2004
Springer
177views System Software» more  CC 2004»
15 years 9 months ago
Value-Based Partial Redundancy Elimination
Abstract. Partial redundancy elimination (PRE) is a program transformation that identifies and eliminates expressions that are redundant on at least one (but not necessarily all) ...
Thomas VanDrunen, Antony L. Hosking
DNA
2006
Springer
15 years 7 months ago
Design and Simulation of Self-repairing DNA Lattices
Self-repair is essential to all living systems, providing the ability to remain functional in spite of gradual damage. In the context of self-assembly of self-repairing synthetic b...
Urmi Majumder, Sudheer Sahu, Thomas H. LaBean, Joh...