Sciweavers

7253 search results - page 675 / 1451
» Agile Performance Testing
Sort
View
ACMSE
2006
ACM
16 years 1 months ago
A SAT-based solver for Q-ALL SAT
Although the satisfiability problem (SAT) is NP-complete, state-of-the-art solvers for SAT can solve instances that are considered to be very hard. Emerging applications demand t...
Ben Browning, Anja Remshagen
JCDL
2006
ACM
152views Education» more  JCDL 2006»
16 years 1 months ago
Also by the same author: AKTiveAuthor, a citation graph approach to name disambiguation
The desire for definitive data and the semantic web drive for inference over heterogeneous data sources requires co-reference resolution to be performed on those data. In particul...
Duncan M. McRae-Spencer, Nigel R. Shadbolt
MOBICOM
2006
ACM
16 years 1 months ago
Low-power acoustic modem for dense underwater sensor networks
Significant progress has been made in terrestrial sensor networks to revolutionize sensing and data collection. To bring the concept of long-lived, dense sensor networks to the u...
Jack Wills, Wei Ye, John S. Heidemann
MSR
2006
ACM
16 years 1 months ago
Are refactorings less error-prone than other changes?
Refactorings are program transformations which should preserve the program behavior. Consequently, we expect that during phases when there are mostly refactorings in the change hi...
Peter Weißgerber, Stephan Diehl
SIGIR
2006
ACM
16 years 1 months ago
Why structural hints in queries do not help XML-retrieval
For many years it has been commonly held that a user who adds structural “hints” to a query will improve precision in an element retrieval search. At INEX 2005 we conducted an...
Andrew Trotman, Mounia Lalmas