Sciweavers

996 search results - page 142 / 200
» A general method to speed up fixed-parameter-tractable algor...
Sort
View
JSAT
2006
91views more  JSAT 2006»
15 years 4 months ago
Extending Existential Quantification in Conjunctions of BDDs
Abstract. We introduce new approaches intended to speed up determining the satisfiability of a given Boolean formula expressed as a conjunction of Boolean functions. A common prac...
Sean Weaver, John V. Franco, John S. Schlipf
SIGMOD
2010
ACM
174views Database» more  SIGMOD 2010»
15 years 9 months ago
Sampling dirty data for matching attributes
We investigate the problem of creating and analyzing samples of relational databases to find relationships between string-valued attributes. Our focus is on identifying attribute...
Henning Köhler, Xiaofang Zhou, Shazia Wasim S...
ATAL
2010
Springer
15 years 5 months ago
MagneBike: toward multi climbing robots for power plant inspection
An ever-growing infrastructure, including existing and newly built power plants, as well as a rising environmental awareness in society call for inspection and maintenance systems...
Andreas Breitenmoser, Fabien Tâche, Gilles C...
ICIP
2003
IEEE
16 years 6 months ago
Anisotropic 3-D wavelet packet bases for video coding
Video coding algorithms based on 3-D wavelet transforms exist which have a competitive rate-distortion performance and are very fast because motion compensation is not needed. The...
Rade Kutil
SDM
2009
SIAM
235views Data Mining» more  SDM 2009»
16 years 1 months ago
Topic Cube: Topic Modeling for OLAP on Multidimensional Text Databases.
As the amount of textual information grows explosively in various kinds of business systems, it becomes more and more desirable to analyze both structured data records and unstruc...
ChengXiang Zhai, Duo Zhang, Jiawei Han