6014 search results - page 9 / 1203 » Parametric Analysis of Computer Systems |
AUTOMATICA
2004
13 years 10 months ago
2004
This paper deals with feedback controller synthesis for timed event graphs in dioids, where the number of initial tokens and time delays are only known to belong to intervals. We ...
ROBOTICA
2008
13 years 10 months ago
2008
Polyhedral scene analysis studies whether a 2D line drawing of a 3D polyhedron is realizable in the space, and if so, parameterizing the space of all possible realizations. For gen...
AUTOMATICA
2008
13 years 11 months ago
2008
This paper presents a new numerical algorithm based on interval analysis able to prove that a differentiable function f : A Rn Rn is injective. This algorithm also performs a par...
GECCO
2005
Springer
14 years 4 months ago
2005
Springer
We hypothesize that the relationship between parameter settings, speci cally parameters controlling mutation, and performance is non-linear in genetic programs. Genetic programmin...
IWMM
2009
Springer
14 years 5 months ago
2009
Springer
This paper presents an analysis that derives a formula describing the worst-case live heap space usage of programs in a functional language with automated memory management (garba...