Sciweavers

2570 search results - page 303 / 514
» Reliability Modeling Using UML
Sort
View
121
Voted
GECCO
2007
Springer
159views Optimization» more  GECCO 2007»
15 years 9 months ago
A systemic computation platform for the modelling and analysis of processes with natural characteristics
Computation in biology and in conventional computer architectures seem to share some features, yet many of their important characteristics are very different. To address this, [1]...
Erwan Le Martelot, Peter J. Bentley, R. Beau Lotto
COMPSAC
2006
IEEE
15 years 9 months ago
On the Distribution of Property Violations in Formal Models: An Initial Study
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim...
LION
2010
Springer
209views Optimization» more  LION 2010»
15 years 8 months ago
Feature Extraction from Optimization Data via DataModeler's Ensemble Symbolic Regression
We demonstrate a means of knowledge discovery through feature extraction that exploits the search history of an optimization run. We regress a symbolic model ensemble from optimiza...
Kalyan Veeramachaneni, Katya Vladislavleva, Una-Ma...
135
Voted
ISSRE
2007
IEEE
15 years 5 months ago
Data Mining Techniques for Building Fault-proneness Models in Telecom Java Software
This paper describes a study performed in an industrial setting that attempts to build predictive models to identify parts of a Java system with a high probability of fault. The s...
Erik Arisholm, Lionel C. Briand, Magnus Fuglerud
WIIW
2001
104views more  WIIW 2001»
15 years 4 months ago
Modeling Web Site Personalization Strategies
- Abstract Modeling web site personalization strategies. Personalization is a key factor for differentiating services and retaining customers in World Wide Web sites. On the other ...
Fabiana Ruas, Wagner Meira Jr., Paulo Araúj...