10909 search results - page 96 / 2182 » Evaluating Backup Algorithms |
132
Voted
SAT
2004
Springer
15 years 9 months ago
2004
Springer
2QBF is the problem of evaluating a Quantified Boolean Formula (QBF) with two levels of quantification. Many practical problems in sequential verification can be formulated as i...
161
Voted
NJC
2006
15 years 3 months ago
2006
Regular tree queries (RTQs) are a class of queries considered especially relevant for the expressiveness and evaluation of XML query languages. The algorithms proposed so far for ...
130
Voted
MOC
2011
14 years 10 months ago
2011
We present an asymptotically fast algorithm for the numerical evaluation of modular functions such as the elliptic modular function j. Our algorithm makes use of the natural connec...
122
click to vote
ICPR
2006
IEEE
16 years 4 months ago
2006
IEEE
This paper presents a new representation and evaluation procedure of page segmentation algorithms and analyzes six widely-used layout analysis algorithms using the procedure. The ...
133
Voted
ADBIS
2001
Springer
15 years 8 months ago
2001
Springer
Three join algorithms are evaluated in an environment with distributed main-memory based mediators and data sources. A streamed ship-out join ships bulks of tuples to a mediator ne...