Sciweavers

1302 search results - page 128 / 261
» Focus on Components
Sort
View
BMCBI
2010
78views more  BMCBI 2010»
15 years 4 months ago
The curvHDR method for gating flow cytometry samples
High-throughput flow cytometry experiments produce hundreds of large multivariate samples of cellular characteristics. These samples require specialized processing to obtain clini...
Ulrike Naumann, George Luta, Matthew P. Wand
CORR
2010
Springer
126views Education» more  CORR 2010»
15 years 4 months ago
Automatic Verification of Parametric Specifications with Complex Topologies
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica...
Johannes Faber, Carsten Ihlemann, Swen Jacobs, Vio...
ENTCS
2010
99views more  ENTCS 2010»
15 years 4 months ago
Describing Secure Interfaces with Interface Automata
Interface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface struc...
Matias Lee, Pedro R. D'Argenio
APIN
2006
142views more  APIN 2006»
15 years 4 months ago
Achieving dynamic, multi-commander, multi-mission planning and execution
The Multi-Agent Distributed Goal Satisfaction (MADGS) system facilitates distributed mission planning and execution in complex dynamic environments with a focus on distributed goal...
Eugene Santos, Scott A. DeLoach, Michael T. Cox
FSS
2008
134views more  FSS 2008»
15 years 4 months ago
A study of the behaviour of linguistic fuzzy rule based classification systems in the framework of imbalanced data-sets
In the field of classification problems, we often encounter classes with a very different percentage of patterns between them, classes with a high pattern percentage and classes w...
Alberto Fernández, Salvador García, ...