Sciweavers

7978 search results - page 295 / 1596
» Combining shared-coin algorithms
Sort
View
CVPR
2007
IEEE
16 years 6 months ago
Multi-Modal Biometrics Involving the Human Ear
Due to its semi-rigid shape and robustness against change over time, the ear has become an increasingly popular biometric feature. It has been shown that combining individual biom...
Christopher Middendorff, Kevin W. Bowyer, Ping Yan
CADE
2003
Springer
16 years 5 months ago
Canonization for Disjoint Unions of Theories
If there exist efficient procedures (canonizers) for reducing terms of two first-order theories to canonical form, can one use them to construct such a procedure for terms of the d...
Sava Krstic, Sylvain Conchon
ZUM
1998
Springer
105views Formal Methods» more  ZUM 1998»
15 years 9 months ago
Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space
We contrast using a notation extension with using a combination of notations. Specifically, we compare the use of an extended dialect of Z [10] with a combination of Z and predicat...
Richard F. Paige
VTS
1997
IEEE
133views Hardware» more  VTS 1997»
15 years 9 months ago
ATPG for scan chain latches and flip-flops
A new approach for testing the bistable elements (latches and flip-flops) in scan chain circuits is presented. In this approach, we generate test patterns that apply a checking ex...
Samy Makar, Edward J. McCluskey
STOC
2007
ACM
146views Algorithms» more  STOC 2007»
16 years 5 months ago
Playing games with approximation algorithms
In an online linear optimization problem, on each period t, an online algorithm chooses st S from a fixed (possibly infinite) set S of feasible decisions. Nature (who may be adve...
Sham M. Kakade, Adam Tauman Kalai, Katrina Ligett