2722 search results - page 342 / 545 » The Model Evolution Calculus |
110
click to vote
APN
2005
Springer
15 years 8 months ago
2005
Springer
In the framework of the study and analysis of new flight procedures, we propose a new Petri net-based formalism to represent both continuous and discrete evolutions and uncertaint...
132
click to vote
ATAL
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We describe an analytic approach, multiscale analysis, that can demonstrate the fundamental limitations of decomposition based engineering for the development of highly c...
115
click to vote
FSTTCS
2004
Springer
15 years 8 months ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
128
click to vote
GECCO
2004
Springer
2004
Springer
Evolutionary Computation Techniques for Optimizing Fuzzy Cognitive Maps in Radiation Therapy Systems
15 years 8 months ago
Abstract. The optimization of a Fuzzy Cognitive Map model for the supervision and monitoring of the radiotherapy process is proposed. This is performed through the minimization of ...
120
click to vote
MICAI
2004
Springer
15 years 8 months ago
2004
Springer
Image metamorphosis, commonly known as morphing, is a powerful tool for visual effects that consists of the fluid transformation of one digital image into another. There are many t...