Sciweavers

1175 search results - page 103 / 235
» A scalable method for the generation of small test sets
Sort
View
ATS
2009
IEEE
111views Hardware» more  ATS 2009»
14 years 4 months ago
Dynamic Compaction in SAT-Based ATPG
SAT-based automatic test pattern generation has several advantages compared to conventional structural procedures, yet often yields too large test sets. We present a dynamic compa...
Alejandro Czutro, Ilia Polian, Piet Engelke, Sudha...
VIS
2007
IEEE
105views Visualization» more  VIS 2007»
14 years 10 months ago
Variable Interactions in Query-Driven Visualization
Our ability to generate ever-larger, increasingly-complex data, has established the need for scalable methods that identify, and provide insight into, important variable trends and...
Luke J. Gosink, John C. Anderson, E. Wes Bethel,...
KDD
2004
ACM
103views Data Mining» more  KDD 2004»
14 years 9 months ago
An objective evaluation criterion for clustering
We propose and test an objective criterion for evaluation of clustering performance: How well does a clustering algorithm run on unlabeled data aid a classification algorithm? The...
Arindam Banerjee, John Langford
PR
2000
92views more  PR 2000»
13 years 9 months ago
On the independence of rotation moment invariants
The problem of the independence and completeness of rotation moment invariants is addressed in this paper. First, a general method for constructing invariants of arbitrary orders ...
Jan Flusser
JSCIC
2011
46views more  JSCIC 2011»
13 years 1 days ago
On the Advantage of Well-Balanced Schemes for Moving-Water Equilibria of the Shallow Water Equations
This note aims at demonstrating the advantage of moving-water well-balanced schemes over still-water well-balanced schemes for the shallow water equations. We concentrate on numer...
Yulong Xing, Chi-Wang Shu, Sebastian Noelle