Sciweavers

289 search results - page 19 / 58
» Introducing Variability into Aspect-Oriented Modeling Approa...
Sort
View
EMO
2009
Springer
174views Optimization» more  EMO 2009»
15 years 4 months ago
Constraint Programming
To model combinatorial decision problems involving uncertainty and probability, we introduce stochastic constraint programming. Stochastic constraint programs contain both decision...
Pascal Van Hentenryck
RSCTC
2000
Springer
146views Fuzzy Logic» more  RSCTC 2000»
15 years 1 months ago
An Algorithm for Induction of Decision Rules Consistent with the Dominance Principle
Induction of decision rules within the dominance-based rough set approach to the multiple-criteria sorting decision problem is discussed in this paper. We introduce an algorithm ca...
Salvatore Greco, Benedetto Matarazzo, Roman Slowin...
BMCBI
2007
163views more  BMCBI 2007»
14 years 9 months ago
Use of genomic DNA control features and predicted operon structure in microarray data analysis: ArrayLeaRNA - a Bayesian approac
Background: Microarrays are widely used for the study of gene expression; however deciding on whether observed differences in expression are significant remains a challenge. Resul...
Carmen Pin, Mark Reuter
IBPRIA
2007
Springer
15 years 3 months ago
Handwritten Symbol Recognition by a Boosted Blurred Shape Model with Error Correction
One of the major difficulties of handwriting recognition is the variability among symbols because of the different writer styles. In this paper we introduce the boosting of blurre...
Alicia Fornés, Sergio Escalera, Josep Llad&...
SIGSOFT
2003
ACM
15 years 2 months ago
Fluent model checking for event-based systems
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
Dimitra Giannakopoulou, Jeff Magee