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»
13 years 11 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
BIBE
2009
IEEE
137views Bioinformatics» more  BIBE 2009»
14 years 2 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...
JCM
2006
118views more  JCM 2006»
13 years 7 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
IPPS
2007
IEEE
14 years 1 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
13 years 11 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é