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...
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...
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...
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...
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...