2656 search results - page 450 / 532 » Design and analysis of algorithms reconsidered |
CAV
2009
Springer
14 years 9 months ago
2009
Springer
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
VLDB
2003
ACM
14 years 9 months ago
2003
ACM
Data warehousing systems integrate information from operational data sources into a central repository to enable analysis and mining of the integrated information. During the integ...
SIGMOD
2007
ACM
14 years 9 months ago
2007
ACM
Keyword search enables web users to easily access XML data without the need to learn a structured query language and to study possibly complex data schemas. Existing work has addr...
CVPR
2010
IEEE
14 years 5 months ago
2010
IEEE
One of the biggest challenges in non-rigid shape retrieval and comparison is the design of a shape descriptor that would maintain invariance under a wide class of transformations ...
SC
2009
ACM
14 years 3 months ago
2009
ACM
A stock market data processing system that can handle high data volumes at low latencies is critical to market makers. Such systems play a critical role in algorithmic trading, ri...