Sciweavers

866 search results - page 85 / 174
» Incremental Class Testing from a Class Test Order
Sort
View
ICSE
2008
IEEE-ACM
16 years 4 months ago
DySy: dynamic symbolic execution for invariant inference
Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique. Dynamic invariant inference has t...
Christoph Csallner, Nikolai Tillmann, Yannis Smara...
128
Voted
EWCBR
2004
Springer
15 years 8 months ago
Fault Diagnosis of Industrial Robots Using Acoustic Signals and Case-Based Reasoning
In industrial manufacturing rigorous testing is used to ensure that the delivered products meet their specifications. Mechanical maladjustment or faults often show their presence t...
Erik Olsson, Peter J. Funk, Marcus Bengtsson
ICML
2005
IEEE
16 years 4 months ago
Multi-class protein fold recognition using adaptive codes
We develop a novel multi-class classification method based on output codes for the problem of classifying a sequence of amino acids into one of many known protein structural class...
Eugene Ie, Jason Weston, William Stafford Noble, C...
127
Voted
CBMS
2007
IEEE
15 years 9 months ago
Region Based Segmentation and Classification of Multispectral Chromosome Images
Multiplex Fluorescent In Situ Hybridization (M-FISH) is a newly chromosome imaging technique where each chromosome class appears to have a distinct color. This technique although ...
Petros S. Karvelis, Dimitrios I. Fotiadis, Alexand...
MCS
2007
Springer
15 years 9 months ago
Hierarchical Behavior Knowledge Space
In this paper we present a new method for fusing classifiers output for problems with a number of classes M > 2. We extend the well-known Behavior Knowledge Space method with a...
Hubert Cecotti, Abdel Belaïd