12836 search results - page 2012 / 2568 » Generalization Methods in Bioinformatics |
186
click to vote
DMSN
2005
ACM
15 years 9 months ago
2005
ACM
In the resource over-constrained environment of sensor networks, techniques for storing data locally in sensor nodes have been proposed to support efficient processing of adhoc qu...
231
click to vote
DOLAP
2005
ACM
15 years 9 months ago
2005
ACM
OLAP users heavily rely on visualization of query answers for their interactive analysis of massive amounts of data. Very often, these answers cannot be visualized entirely and th...
214
click to vote
DOLAP
2005
ACM
15 years 9 months ago
2005
ACM
Online Analytical Processing is a powerful framework for the analysis of organizational data. OLAP is often supported by a logical structure known as a data cube, a multidimension...
227
click to vote
DOLAP
2005
ACM
15 years 9 months ago
2005
ACM
Materialized views are nowadays commonly used in the data warehouse environment. Materialized views need to be updated when data sources change. Since the update of the views may ...
215
click to vote
ACSD
2007
IEEE
15 years 9 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...