Sciweavers

519 search results - page 39 / 104
» Using Goal-Models to Analyze Variability
Sort
View
CIKM
2011
Springer
12 years 8 months ago
Toward interactive training and evaluation
Machine learning often relies on costly labeled data, and this impedes its application to new classification and information extraction problems. This has motivated the developme...
Gregory Druck, Andrew McCallum
IFIPTCS
2000
14 years 12 days ago
Masaccio: A Formal Model for Embedded Components
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
Thomas A. Henzinger
BMCBI
2008
138views more  BMCBI 2008»
13 years 9 months ago
M-BISON: Microarray-based integration of data sources using networks
Background: The accurate detection of differentially expressed (DE) genes has become a central task in microarray analysis. Unfortunately, the noise level and experimental variabi...
Bernie J. Daigle Jr., Russ B. Altman
JCIT
2007
96views more  JCIT 2007»
13 years 8 months ago
Analysis of a Reversed Trapezoidal Fin with Fluid in the Inside Wall
Rt: dimensionless thermal resistance A reversed trapezoidal fin with fluid in the inside wall is analyzed using a two-dimensional analytical method. Thermal resistance for the rev...
Hyung Suk Kang
TACAS
2009
Springer
109views Algorithms» more  TACAS 2009»
14 years 3 months ago
TaPAS: The Talence Presburger Arithmetic Suite
TAPAS is a suite of libraries dedicated to FO (R, Z, +, ≤). The suite provides (1) the application programming interface GENEPI for this logic with encapsulations of many classic...
Jérôme Leroux, Gérald Point