Sciweavers

555 search results - page 86 / 111
» Iris Recognition Algorithm Optimized for Hardware Implementa...
Sort
View
ISCAS
2006
IEEE
96views Hardware» more  ISCAS 2006»
15 years 9 months ago
Approximately linear-phase recursive digital filters with variable magnitude characteristics
Abstract— This paper considers designing in the minimax sense complementary low-pass/high-pass approximately linear-phase recursive filters with variable magnitude characteristi...
Juha Yli-Kaakinen, Tapio Saramäki
SDMW
2004
Springer
15 years 8 months ago
Experimental Analysis of Privacy-Preserving Statistics Computation
The recent investigation of privacy-preserving data mining and other kinds of privacy-preserving distributed computation has been motivated by the growing concern about the privacy...
Hiranmayee Subramaniam, Rebecca N. Wright, Zhiqian...
CAV
2007
Springer
116views Hardware» more  CAV 2007»
15 years 9 months ago
A Decision Procedure for Bit-Vectors and Arrays
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
Vijay Ganesh, David L. Dill
SAT
2007
Springer
107views Hardware» more  SAT 2007»
15 years 9 months ago
Combining Adaptive Noise and Look-Ahead in Local Search for SAT
Abstract. The adaptive noise mechanism was introduced in Novelty+ to automatically adapt noise settings during the search [4]. The local search algorithm G2 WSAT deterministically ...
Chu Min Li, Wanxia Wei, Harry Zhang
PROCEDIA
2011
14 years 5 months ago
GPU-accelerated Chemical Similarity Assessment for Large Scale Databases
The assessment of chemical similarity between molecules is a basic operation in chemoinformatics, a computational area concerning with the manipulation of chemical structural info...
Marco Maggioni, Marco D. Santambrogio, Jie Liang