2940 search results - page 59 / 588 » Relational Parametricity and Control |
IJES
2008
14 years 12 months ago
2008
: At Leiden Embedded Research Center (LERC), we are building a tool chain called Compaan/Laura that allows us to map rapidly and efficiently signal processing applications written ...
112
click to vote
SCL
2008
14 years 11 months ago
2008
In this paper we consider discrete-time nonlinear systems that are affected, possibly simultaneously, by parametric uncertainties and disturbance inputs. The min-max Model Predict...
SIAMCO
2000
14 years 11 months ago
2000
The set of all optimal controllers which maximize a robust stability radius for unstructured additive perturbations may be obtained using standard Hankel-norm approximation methods...
109
click to vote
CVBIA
2005
Springer
15 years 5 months ago
2005
Springer
We present a novel framework to exert topology control over a level set evolution. Level set methods offer several advantages over parametric active contours, in particular automat...
POPL
2003
ACM
15 years 5 months ago
2003
ACM
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...