Sciweavers

2740 search results - page 179 / 548
» A Model-Based Approach To Requirements Analysis
Sort
View
HYBRID
2007
Springer
15 years 9 months ago
Model Checking Genetic Regulatory Networks with Parameter Uncertainty
The lack of precise numerical information for the values of biological parameters severely limits the development and analysis of models of genetic regulatory networks. To deal wit...
Grégory Batt, Calin Belta, Ron Weiss
124
Voted
IBPRIA
2007
Springer
15 years 9 months ago
A Neural Network Model for Image Change Detection Based on Fuzzy Cognitive Maps
This paper outlines a neural network model based on the Fuzzy Cognitive Maps (FCM) framework for solving the automatic image change detection problem. Each pixel in the reference i...
Gonzalo Pajares, Alfonso Sánchez-Beato, Jes...
114
Voted
MODELS
2007
Springer
15 years 9 months ago
UML2Alloy: A Challenging Model Transformation
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, ...
ESCIENCE
2006
IEEE
15 years 9 months ago
Towards a Framework for Monitoring and Analyzing QoS Metrics of Grid Services
QoS (Quality of Service) parameters play a key role in selecting Grid resources and optimizing resources usage efficiently. Although many works have focused on using QoS metrics,...
Hong Linh Truong, Robert Samborski, Thomas Fahring...
GECCO
2006
Springer
132views Optimization» more  GECCO 2006»
15 years 7 months ago
The role of diverse populations in phylogenetic analysis
The most popular approaches for reconstructing phylogenetic trees attempt to solve NP-hard optimization criteria such as maximum parsimony (MP). Currently, the bestperforming heur...
Tiffani L. Williams, Marc L. Smith