2722 search results - page 85 / 545 » The Model Evolution Calculus |
ICIP
2007
IEEE
14 years 9 months ago
2007
IEEE
In this paper, we present a novel active contour model, in which the traditional gradient descent optimization is replaced by graph cut optimization. The basic idea is to first de...
GECCO
2004
Springer
14 years 1 months ago
2004
Springer
This paper addresses the influence of actuator noise on the steady state behavior of multirecombinant evolution strategies (ES) on general quadratic fitness functions. Actuator n...
ECBS
1999
IEEE
14 years 11 days ago
1999
IEEE
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...
ECOOP
2006
Springer
13 years 11 months ago
2006
Springer
In spite of the more advanced modularisation mechanisms, aspect-oriented programs still suffer from evolution problems. Due to the fragile pointcut problem, seemingly safe modifica...
ICLP
1997
Springer
14 years 6 days ago
1997
Springer
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which propert...