Sciweavers

5570 search results - page 219 / 1114
» Applications of Fair Testing
Sort
View
IANDC
2011
129views more  IANDC 2011»
14 years 11 months ago
Rigid tree automata and applications
We introduce the class of Rigid Tree Automata (RTA), an extension of standard bottom-up automata on ranked trees with distinguished states called rigid. Rigid states define a res...
Florent Jacquemard, Francis Klay, Camille Vacher
SIAMIS
2010
109views more  SIAMIS 2010»
14 years 10 months ago
Application of the Topological Gradient Method to Color Image Restoration
The goal of this note is to generalize the topological gradient method, applied to restoration and classification problems for grey-level images, to color images. We illustrate ou...
Didier Auroux, Lamia Jaafar Belaid, Badreddine Rja...
ICML
2006
IEEE
16 years 4 months ago
Nightmare at test time: robust learning by feature deletion
When constructing a classifier from labeled data, it is important not to assign too much weight to any single input feature, in order to increase the robustness of the classifier....
Amir Globerson, Sam T. Roweis
KDD
2004
ACM
190views Data Mining» more  KDD 2004»
16 years 4 months ago
V-Miner: using enhanced parallel coordinates to mine product design and test data
Analyzing data to find trends, correlations, and stable patterns is an important task in many industrial applications. This paper proposes a new technique based on parallel coordi...
Kaidi Zhao, Bing Liu, Thomas M. Tirpak, Andreas Sc...
TACAS
2009
Springer
127views Algorithms» more  TACAS 2009»
15 years 11 months ago
From Tests to Proofs
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko