Sciweavers

10792 search results - page 134 / 2159
» An Evaluation of Non-Equijoin Algorithms
Sort
View
112
Voted
ATVA
2008
Springer
102views Hardware» more  ATVA 2008»
15 years 2 months ago
Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions
The evaluation of successor or predecessor state spaces through time progress is a central component in the model-checking algorithm of dense-time automata. The definition of the t...
Farn Wang
PODS
2008
ACM
221views Database» more  PODS 2008»
16 years 28 days ago
A generic flow algorithm for shared filter ordering problems
We consider a fundamental flow maximization problem that arises during the evaluation of multiple overlapping queries defined on a data stream, in a heterogenous parallel environm...
Zhen Liu, Srinivasan Parthasarathy 0002, Anand Ran...
103
Voted
PERCOM
2003
ACM
16 years 12 days ago
Evaluation of Kalman Filtering for Network Time Keeping
Time information is critical for a variety of applications in distributed environments that facilitate pervasive computing and communication. This work describes and evaluates a no...
Aggelos Bletsas
99
Voted
GECCO
2006
Springer
130views Optimization» more  GECCO 2006»
15 years 4 months ago
Pairwise sequence comparison for fitness evaluation in evolutionary structural software testing
Evolutionary algorithms are among the metaheuristic search methods that have been applied to the structural test data generation problem. Fitness evaluation methods play an import...
H. Turgut Uyar, A. Sima Etaner-Uyar, A. Emre Harma...
ECIR
2008
Springer
15 years 2 months ago
Evaluating Paragraph Retrieval for
Abstract. We implemented a baseline approach to why-question answering based on paragraph retrieval. Our implementation incorporates the QAP ranking algorithm with addition of a nu...
Suzan Verberne, Lou Boves, Nelleke Oostdijk, Peter...