Sciweavers

6434 search results - page 44 / 1287
» The Dynamic Data Cube
Sort
View
FMSB
2008
130views Formal Methods» more  FMSB 2008»
13 years 11 months ago
Approximating Continuous Systems by Timed Automata
In this work we develop a new technique for over-approximating (in the sense of timed trace inclusion) continuous dynamical systems by timed auThis technique refines commonly-used ...
Oded Maler, Grégory Batt
DFT
2002
IEEE
117views VLSI» more  DFT 2002»
14 years 2 months ago
Fast and Energy-Frugal Deterministic Test Through Test Vector Correlation Exploitation
Conversion of the flip-flops of the circuit into scan cells helps ease the test challenge; yet test application time is increased as serial shift operations are employed. Furthe...
Ozgur Sinanoglu, Alex Orailoglu
SSDBM
1999
IEEE
140views Database» more  SSDBM 1999»
14 years 2 months ago
An Infrastructure for Scalable Parallel Multidimensional Analysis
Multidimensional Analysis in On-Line Analytical Processing (OLAP), and Scientific and statistical databases (SSDB) use operations requiring summary information on multi-dimensiona...
Sanjay Goil, Alok N. Choudhary
DIS
2009
Springer
14 years 4 months ago
Subspace Discovery for Promotion: A Cell Clustering Approach
The promotion analysis problem has been proposed in [16], where ranking-based promotion query processing techniques are studied to effectively and efficiently promote a given obje...
Tianyi Wu, Jiawei Han
DEXAW
2007
IEEE
150views Database» more  DEXAW 2007»
14 years 4 months ago
Compressed Aggregations for mobile OLAP Dissemination
As wireless network infrastructure becomes more reliable, an increasing number of traditional desktop applications, beyond common web browsing, migrate to portable devices. Since ...
Ilias Michalarias, Arkadiy Omelchenko