4341 search results - page 303 / 869 » Quantitative Model checking |
140
click to vote
GECCO
2004
Springer
16 years 2 days ago
2004
Springer
We present quantitative models for the selection pressure of cellular evolutionary algorithms structured in two dimensional regular lattices. We derive models based on probabilisti...
169
click to vote
KI
2002
Springer
15 years 6 months ago
2002
Springer
Abstract. We propose ParleE, a quantitative, flexible and adaptive model of emotions for a conversational agent in a multi-agent environment capable of multimodal communication. Pa...
182
click to vote
FASE
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Software models are key in separating and solving independent development concerns. However, there is still a gap on how to transition design information among these sepa...
136
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
We propose a novel method for quantitative interpretation of uncalibrated optical images which is derived explicitly from an analysis of the image formation model. Parameters chara...
161
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Starting from a biochemical signalling pathway model expressed in a process algebra enriched with quantitative information we automatically derive both continuous-space a...