Sciweavers

6014 search results - page 693 / 1203
» Structural Testing with Use Cases
Sort
View
183
Voted
SPIRE
2005
Springer
16 years 28 days ago
Experimental Analysis of a Fast Intersection Algorithm for Sorted Sequences
Abstract. This work presents an experimental comparison of intersection algorithms for sorted sequences, including the recent algorithm of Baeza-Yates. This algorithm performs on a...
Ricardo A. Baeza-Yates, Alejandro Salinger
233
Voted
AVBPA
2005
Springer
296views Biometrics» more  AVBPA 2005»
16 years 28 days ago
Exploring Similarity Measures for Biometric Databases
Currently biometric system performance is evaluated in terms of its FAR and FRR. The accuracy expressed in such a manner depends on the characteristics of the dataset on which the ...
Praveer Mansukhani, Venu Govindaraju
PARA
2004
Springer
16 years 24 days ago
Extending PSBLAS to Build Parallel Schwarz Preconditioners
We describe some extensions to Parallel Sparse BLAS (PSBLAS), a library of routines providing basic Linear Algebra operations needed to build iterative sparse linear system solvers...
Alfredo Buttari, Pasqua D'Ambra, Daniela di Serafi...
SAT
2004
Springer
102views Hardware» more  SAT 2004»
16 years 24 days ago
Derandomization of Schuler's Algorithm for SAT
Abstract. Recently Schuler [17] presented a randomized algorithm that solves SAT in expected time at most 2n(1−1/ log2(2m)) up to a polynomial factor, where n and m are, respecti...
Evgeny Dantsin, Alexander Wolpert
VLDB
2004
ACM
118views Database» more  VLDB 2004»
16 years 24 days ago
Object Fusion in Geographic Information Systems
Given two geographic databases, a fusion algorithm should produce all pairs of corresponding objects (i.e., objects that represent the same real-world entity). Four fusion algorit...
Catriel Beeri, Yaron Kanza, Eliyahu Safra, Yehoshu...