683 search results - page 95 / 137 » Modelling Evolvable Systems: A Temporal Logic View |
HYBRID
2007
Springer
15 years 8 months ago
2007
Springer
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...
113
click to vote
AIME
2007
Springer
15 years 8 months ago
2007
Springer
Medical critiquing systems criticise clinical actions performed by a physician. In order to provide useful feedback, an important task is to find differences between the actual a...
137
click to vote
CONCUR
1992
Springer
15 years 6 months ago
1992
Springer
The states of a computing system bear information and change time, while its events bear time and change information. We develop a primitive algebraic model of this duality of tim...
115
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
137
click to vote
EUSFLAT
2009
14 years 11 months ago
2009
One of the new trends in genetic fuzzy systems (GFS) is the use of evolutionary multiobjective optimization (EMO) algorithms. This is because EMO algorithms can easily handle two c...