Sciweavers

498 search results - page 42 / 100
» Automatic Detection of Structural Changes in Data Warehouses
Sort
View
KBSE
2008
IEEE
14 years 2 months ago
Automatic Inference of Frame Axioms Using Static Analysis
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
Zvonimir Rakamaric, Alan J. Hu
DAC
2009
ACM
14 years 8 months ago
Way Stealing:cache-assisted automatic instruction set extensions
This paper introduces Way Stealing, a simple architectural modification to a cache-based processor to increase data bandwidth to and from application-specific Instruction Set Exte...
Theo Kluter, Philip Brisk, Paolo Ienne, Edoardo Ch...
ACL
2000
13 years 9 months ago
Inducing Probabilistic Syllable Classes Using Multivariate Clustering
An approach to automatic detection of syllable structure is presented. We demonstrate a novel application of EM-based clustering to multivariate data, exempli ed by the induction ...
Karin Müller, Bernd Möbius, Detlef Presc...
SIGMOD
1999
ACM
122views Database» more  SIGMOD 1999»
13 years 12 months ago
BOAT-Optimistic Decision Tree Construction
Classification is an important data mining problem. Given a training database of records, each tagged with a class label, the goal of classification is to build a concise model ...
Johannes Gehrke, Venkatesh Ganti, Raghu Ramakrishn...
VISSYM
2003
13 years 9 months ago
Detecting Critical Regions in Scalar Fields
Trivariate data is commonly visualized using isosurfaces or direct volume rendering. When exploring scalar fields by isosurface extraction it is often difficult to choose isoval...
Gunther H. Weber, Gerik Scheuermann, Bernd Hamann