Sciweavers

2275 search results - page 166 / 455
» Object Evolution by Model Evolution
Sort
View
128
Voted
TIP
2002
147views more  TIP 2002»
15 years 6 days ago
Stochastic differential equations and geometric flows
In recent years, curve evolution, applied to a single contour or to the level sets of an image via partial differential equations, has emerged as an important tool in image process...
Gozde B. Unal, Hamid Krim, Anthony J. Yezzi
92
Voted
ESOP
2007
Springer
15 years 6 months ago
Using History Invariants to Verify Observers
Abstract. This paper contributes a technique that expands the set of object invariants that one can reason about in modular verification. The technique uses history invariants, tw...
K. Rustan M. Leino, Wolfram Schulte
70
Voted
SMC
2007
IEEE
15 years 6 months ago
Network security project management: a security policy-based approach
— Managing security projects is a delicate activity due to the evolution of attacks. In this paper, we develop a new methodology for estimating security effort based on algebraic...
Jihène Krichène, Noureddine Boudriga
EUROGP
2005
Springer
15 years 6 months ago
Understanding Evolved Genetic Programs for a Real World Object Detection Problem
We describe an approach to understanding evolved programs for a real world object detection problem, that of finding orthodontic landmarks in cranio-facial X-Rays. The approach in...
Victor Ciesielski, Andrew Innes, Sabu John, John M...
AIIDE
2008
15 years 2 months ago
Constructing Complex NPC Behavior via Multi-Objective Neuroevolution
It is difficult to discover effective behavior for NPCs automatically. For instance, evolutionary methods can learn sophisticated behaviors based on a single objective, but realis...
Jacob Schrum, Risto Miikkulainen