Sciweavers

2634 search results - page 161 / 527
» Faster Than Uppaal
Sort
View
ICPR
2010
IEEE
15 years 10 months ago
A Robust Iris Localization Method Using an Active Contour Model and Hough Transform
Iris segmentation is one of the crucial steps in building an iris recognition system since it affects the accuracy of the iris matching significantly. This segmentation should acc...
Jaehan Koh, Venu Govindaraju, Vipin Chaudhary
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
15 years 10 months ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...
ARVLSI
1999
IEEE
96views VLSI» more  ARVLSI 1999»
15 years 10 months ago
MEMS-Based Capacitor Arrays for Programmable Interconnect and RF Applications
We describe a programmable capacitor technology under development at NCSU and its potential application in building programmable interconnect devices useful for system level conne...
B. E. Duewer, J. M. Wilson, D. A. Winick, Paul D. ...
CVPR
1999
IEEE
15 years 10 months ago
Efficient Iterative Solution to M-View Projective Reconstruction Problem
We propose an efficient solution to the general M-view projective reconstruction problem, using matrix factorization and iterative least squares. The method can accept input with ...
Qian Chen, Gérard G. Medioni
GLVLSI
1999
IEEE
87views VLSI» more  GLVLSI 1999»
15 years 10 months ago
A Radix-16 SRT Division Unit with Speculation of the Quotient Digits
The speed of a divider based on a digit-recurrence algorithm depends mainly on the latency of the quotient digit generation function. In this paper we present an analytical approa...
Gianluca Cornetta, Jordi Cortadella