Sciweavers

2722 search results - page 268 / 545
» The Model Evolution Calculus
Sort
View
111
Voted
EWSA
2004
Springer
15 years 9 months ago
Model Checking for Software Architectures
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
Radu Mateescu
137
Voted
STOC
2000
ACM
112views Algorithms» more  STOC 2000»
15 years 8 months ago
A random graph model for massive graphs
We propose a random graph model which is a special case of sparse random graphs with given degree sequences. This model involves only a small number of parameters, called logsize ...
William Aiello, Fan R. K. Chung, Linyuan Lu
160
Voted
CVRMED
1997
Springer
15 years 7 months ago
Physically-based model for simulating the human trunk respiration movements
Abstract. We have developped a physically-based model where an object is represented by a set of mass points on its contour. Each object may be defined locally and physically usin...
Emmanuel Promayon, Pierre Baconnier, Claude Puech
159
Voted
GECCO
2010
Springer
195views Optimization» more  GECCO 2010»
15 years 7 months ago
GPU-based island model for evolutionary algorithms
The island model for evolutionary algorithms allows to delay the global convergence of the evolution process and encourage diversity. However, solving large size and time-intensiv...
Thé Van Luong, Nouredine Melab, El-Ghazali ...
117
Voted
ATAL
2008
Springer
15 years 5 months ago
Towards background emotion modeling for embodied virtual agents
For the realistic simulation of embodied agents we need a model of emotion that represents both structural and dynamic aspects of emotional phenomena to serve as background suppor...
Luís Morgado, Graça Gaspar