Sciweavers

3702 search results - page 132 / 741
» All Pairings Are in a Group
Sort
View
RTA
1993
Springer
15 years 10 months ago
Redundancy Criteria for Constrained Completion
This paper studies completion in the case of equations with constraints consisting of rstorder formulae over equations, disequations, and an irreducibility predicate. We present s...
Christopher Lynch, Wayne Snyder
RECOMB
2010
Springer
15 years 10 months ago
MoGUL: Detecting Common Insertions and Deletions in a Population
Abstract. While the discovery of structural variants in the human population is ongoing, most methods for this task assume that the genome is sequenced to high coverage (e.g. 40x),...
Seunghak Lee, Eric Xing, Michael Brudno
CTRSA
2009
Springer
141views Cryptology» more  CTRSA 2009»
15 years 10 months ago
Practical Short Signature Batch Verification
In many applications, it is desirable to work with signatures that are both short, and yet where many messages from different signers be verified very quickly. RSA signatures sati...
Anna Lisa Ferrara, Matthew Green, Susan Hohenberge...
MICCAI
2003
Springer
16 years 7 months ago
Disease-Oriented Evaluation of Dual-Bootstrap Retinal Image Registration
Abstract. This paper presents a disease-oriented evaluation of two recent retinal image registration algorithms, one for aligning pairs of retinal images and one for simultaneously...
Chia-Ling Tsai, Anna Majerovics, Charles V. Stewar...
HICSS
2009
IEEE
85views Biometrics» more  HICSS 2009»
16 years 1 months ago
Bounding the Size of k-Tuple Covers
Suppose there are n applications and n processors. A pair cover is a set S of one-to-one mappings (assignments) of the applications to the processors such that, for every pair (Ai...
Wolfgang W. Bein, Shahram Latifi, Linda Morales, I...