Sciweavers

515 search results - page 77 / 103
» A Reduced Complexity Algorithm for Minimizing N-Detect Tests
Sort
View
CHES
2000
Springer
114views Cryptology» more  CHES 2000»
15 years 1 months ago
Efficient Generation of Prime Numbers
The generation of prime numbers underlies the use of most public-key schemes, essentially as a major primitive needed for the creation of key pairs or as a computation stage appear...
Marc Joye, Pascal Paillier, Serge Vaudenay
78
Voted
BIBE
2009
IEEE
137views Bioinformatics» more  BIBE 2009»
15 years 4 months ago
Multi-Modal Registration of Embryonic Images for In Vitro Fertilization
This paper presents a robust and fully automated registration algorithm for alignment of embryonic images taken by Optical Quadrature Microscopy (OQM) and Differential Interferenc...
Chia-Ling Tsai, Su-Ching Liang, William Warger, Ch...
77
Voted
JCM
2006
118views more  JCM 2006»
14 years 9 months ago
Joint Optimization of Local and Fusion Rules in a Decentralized Sensor Network
Decentralized sensor networks are collections of individual local sensors that observe a common phenomenon, quantize their observations, and send this quantized information to a ce...
Nithya Gnanapandithan, Balasubramaniam Natarajan
73
Voted
IPPS
2007
IEEE
15 years 4 months ago
A Near-optimal Solution for the Heterogeneous Multi-processor Single-level Voltage Setup Problem
A heterogeneous multi-processor (HeMP) system consists of several heterogeneous processors, each of which is specially designed to deliver the best energy-saving performance for a...
Tai-Yi Huang, Yu-Che Tsai, Edward T.-H. Chu
CADE
1998
Springer
15 years 1 months ago
System Description: leanK 2.0
Abstract. leanK is a "lean", i.e., extremely compact, Prolog implementation of a free variable tableau calculus for propositional modal logics. leanK 2.0 includes additio...
Bernhard Beckert, Rajeev Goré