Sciweavers

2730 search results - page 419 / 546
» An Abstract Model for Process Mediation
Sort
View
ICST
2010
IEEE
15 years 4 months ago
Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines
Abstract—Software Product Lines (SPL) are difficult to validate due to combinatorics induced by variability across their features. This leads to combinatorial explosion of the n...
Gilles Perrouin, Sagar Sen, Jacques Klein, Benoit ...
QEST
2010
IEEE
15 years 3 months ago
Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
Ralf Wimmer, Bettina Braitling, Bernd Becker, Erns...
EUSFLAT
2009
141views Fuzzy Logic» more  EUSFLAT 2009»
15 years 3 months ago
An Experimental Study on the Interpretability of Fuzzy Systems
Abstract-- Interpretability is one of the most significant properties of Fuzzy Systems which are widely acknowledged as gray boxes against other Soft Computing techniques such as N...
José M. Alonso, Luis Magdalena
ICAI
2009
15 years 3 months ago
Expectancy-Based Robot Localization Through Context Evaluation
Agents that operate in a real-world environment have to process an abundance of information, which may be ambiguous or noisy. We present a method inspired by cognitive research tha...
Maria E. Niessen, Gert Kootstra, Sjoerd de Jong, T...
ICDM
2010
IEEE
200views Data Mining» more  ICDM 2010»
15 years 2 months ago
Bayesian Maximum Margin Clustering
Abstract--Most well-known discriminative clustering models, such as spectral clustering (SC) and maximum margin clustering (MMC), are non-Bayesian. Moreover, they merely considered...
Bo Dai, Baogang Hu, Gang Niu