Sciweavers

10909 search results - page 654 / 2182
» Evaluating Backup Algorithms
Sort
View
DASFAA
2004
IEEE
95views Database» more  DASFAA 2004»
15 years 11 months ago
On Incorporating Iceberg Queries in Query Processors
Iceberg queries are a special case of SQL queries involving GROUP BY and HAVING clauses, wherein the answer set is small relative to the database size. We present here a performanc...
Krishna P. Leela, Pankaj M. Tolani, Jayant R. Hari...
FCCM
2004
IEEE
91views VLSI» more  FCCM 2004»
15 years 11 months ago
An FPGA Interpolation Processor for Soft-Decision Reed-Solomon Decoding
We propose a parallel architecture for implementing the interpolation step in the Koetter-Vardy soft-decision ReedSolomon decoding algorithm. The key feature is the embedding of b...
Warren J. Gross, Frank R. Kschischang, P. Glenn Gu...
TACAS
2000
Springer
139views Algorithms» more  TACAS 2000»
15 years 10 months ago
A Markov Chain Model Checker
Markov chains are widely used in the context of performance and reliability evaluation of systems of various nature. Model checking of such chains with respect to a given (branchin...
Holger Hermanns, Joost-Pieter Katoen, Joachim Meye...
STOC
1987
ACM
104views Algorithms» more  STOC 1987»
15 years 10 months ago
The Boolean Formula Value Problem Is in ALOGTIME
The Boolean formula value problem is in alternating log time and, more generally, parenthesis context-free languages are in alternating log time. The evaluation of reverse Polish ...
Samuel R. Buss
AAAI
2007
15 years 9 months ago
Knowledge-Driven Learning and Discovery
The goal of our current research is machine learning with the help and guidance of a knowledge base (KB). Rather than learning numerical models, our approach generates explicit sy...
Benjamin Lambert, Scott E. Fahlman