Sciweavers

4651 search results - page 167 / 931
» Data Reduction Using Multiple Models Integration
Sort
View
ICCAD
2008
IEEE
151views Hardware» more  ICCAD 2008»
15 years 11 months ago
Race analysis for SystemC using model checking
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
Nicolas Blanc, Daniel Kroening
131
Voted
IEEEVAST
2010
14 years 9 months ago
Understanding text corpora with multiple facets
Text visualization becomes an increasingly more important research topic as the need to understand massive-scale textual information is proven to be imperative for many people and...
Lei Shi, Furu Wei, Shixia Liu, Li Tan, Xiaoxiao Li...
119
Voted
FOCS
2008
IEEE
15 years 9 months ago
On the Value of Multiple Read/Write Streams for Approximating Frequency Moments
We consider the read/write streams model, an extension of the standard data stream model in which an algorithm can create and manipulate multiple read/write streams in addition to...
Paul Beame, Dang-Trinh Huynh-Ngoc
123
Voted
ICDM
2010
IEEE
147views Data Mining» more  ICDM 2010»
15 years 16 days ago
Subgroup Discovery Meets Bayesian Networks -- An Exceptional Model Mining Approach
Whenever a dataset has multiple discrete target variables, we want our algorithms to consider not only the variables themselves, but also the interdependencies between them. We pro...
Wouter Duivesteijn, Arno J. Knobbe, Ad Feelders, M...
GI
2001
Springer
15 years 7 months ago
Transaction Synchronization for XML Data in Client-Server Web Applications
: Whenever database centered client-server web applications have to be used by multiple web clients on different platforms, then recently XML has been considered as an important da...
Stefan Böttcher, Adelhard Türling