58 search results - page 9 / 12 » A Geometric Approach to Bisimulation and Verification of Hyb... |
ICB
2009
Springer
13 years 5 months ago
2009
Springer
Many large-scale biometric systems operate in the identification mode and include multimodal information. While biometric fusion is a well-studied problem, most of the fusion schem...
CVPR
2009
IEEE
13 years 8 months ago
2009
IEEE
We present a system that combines multiple visual navigation techniques to achieve GPS-denied, non-line-of-sight SLAM capability for heterogeneous platforms. Our approach builds o...
AINA
2007
IEEE
14 years 1 months ago
2007
IEEE
We know how to build secure systems but for security measures to be truly effective it is necessary to use keys which are far too large for people to commit to memory. The consequ...
SPIN
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
AHS
2006
IEEE
14 years 1 months ago
2006
IEEE
The paper presents a novel integrated system in which a number of image processing algorithm are embedded within a Genetic Algorithm (GA) based framework in order to provide an ad...