4099 search results - page 714 / 820 » A Framework for Interactive Proof |
150
click to vote
CEC
2009
IEEE
15 years 8 months ago
2009
IEEE
— We study the evolution of cooperation using the Prisoner’s Dilemma as a metaphor of the tensions between cooperators and non-cooperators, and evolutionary game theory as the ...
155
click to vote
MICCAI
2009
Springer
15 years 8 months ago
2009
Springer
We propose a recursive Bayesian model for the delineation of coronary arteries from 3D CT angiograms (cardiac CTA) and discuss the use of discrete minimal path techniques as an eï¬...
119
click to vote
VW
2009
Springer
15 years 8 months ago
2009
Springer
—We propose an efficient alternative to commonly used parametric surfaces such as NURBS surfaces for definition of complex geometry in shared virtual spaces. Our mathematical mod...
204
click to vote
CONCUR
2001
Springer
15 years 8 months ago
2001
Springer
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...
149
click to vote
EMO
2001
Springer
15 years 8 months ago
2001
Springer
This paper studies the influence of what are recognized as key issues in evolutionary multi-objective optimization: archiving (to keep track of the current non-dominated solutions...