Sciweavers

1010 search results - page 130 / 202
» A Database Approach to Distributed State Space Generation
Sort
View
148
Voted
SIGMOD
2008
ACM
215views Database» more  SIGMOD 2008»
15 years 10 months ago
CSV: visualizing and mining cohesive subgraphs
Extracting dense sub-components from graphs efficiently is an important objective in a wide range of application domains ranging from social network analysis to biological network...
Nan Wang, Srinivasan Parthasarathy, Kian-Lee Tan, ...
PODS
2002
ACM
138views Database» more  PODS 2002»
15 years 10 months ago
Fast Algorithms For Hierarchical Range Histogram Construction
Data Warehousing and OLAPapplications typically view data as having multiple logical dimensions e.g., product, location with natural hierarchies de ned on each dimension. OLAP que...
Sudipto Guha, Nick Koudas, Divesh Srivastava
TCOM
2010
133views more  TCOM 2010»
14 years 8 months ago
An Exact Performance Analysis of MRC / OSTBC over Generalized Fading Channels
—A unified analytical framework for evaluating the performance of maximal ratio combining (MRC) and orthogonal space-time block coding (OSTBC) over generalized fading channels i...
George A. Ropokis, Athanasios A. Rontogiannis, P. ...
SIGMOD
2010
ACM
145views Database» more  SIGMOD 2010»
14 years 8 months ago
How to ConQueR why-not questions
One useful feature that is missing from today’s database systems is an explain capability that enables users to seek clarifications on unexpected query results. There are two t...
Quoc Trung Tran, Chee-Yong Chan
ICSE
2010
IEEE-ACM
14 years 11 months ago
SMT-based bounded model checking for multi-threaded software in embedded systems
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
Lucas Cordeiro