1399 search results - page 197 / 280 » Verification of Test Suites |
139
click to vote
EDBT
2010
ACM
16 years 1 months ago
2010
ACM
We study the performance issue of the “iterative” record linkage (RL) problem, where match and merge operations may occur together in iterations until convergence emerges. We ...
152
click to vote
ICSE
2009
IEEE-ACM
16 years 29 days ago
2009
IEEE-ACM
We report on one organization's experience making process changes in a suite of projects. The changes were motivated by clients’ requests for better time estimates, better ...
163
click to vote
SAT
2009
Springer
16 years 22 days ago
2009
Springer
We propose a new incomplete algorithm for the Maximum Satisfiability (MaxSAT) problem on unweighted Boolean formulas, focused specifically on instances for which proving unsatis...
135
Voted
CIKM
2007
Springer
16 years 11 days ago
2007
Springer
Compression of term frequency lists and very long document-id lists within an inverted file search engine are examined. Several compression schemes are compared including Elias γ...
164
click to vote
BROADNETS
2006
IEEE
16 years 8 days ago
2006
IEEE
— The nature of Grid and distributed computing implies communication between heterogeneous systems over a wide and ever-changing variety of network environments. Often large amou...