2940 search results - page 63 / 588 » Relational Parametricity and Control |
LICS
1999
IEEE
15 years 4 months ago
1999
IEEE
The problem of defining and checking a subtype relation between recursive types was studied in [3] for a first order type system, but for second order systems, which combine subty...
SIAMCO
2008
14 years 11 months ago
2008
In this paper we study a new form of the quadratic regulator problem which is suggested by recent applications to singular systems and to identification problems. The new feature ...
103
click to vote
ICASSP
2008
IEEE
15 years 6 months ago
2008
IEEE
A physical modeling synthesizer is developed and used to parametrically represent digital audio recordings of clarinet soloists. Empirical data, in the form of acoustic impedance ...
104
click to vote
HYBRID
2004
Springer
15 years 5 months ago
2004
Springer
In this paper, we introduce a parametric semantics for timed controllers called the Almost ASAP semantics. This semantics is a relaxation of the usual ASAP3 semantics (also called ...
150
click to vote
WSC
2004
15 years 1 months ago
2004
This paper discusses a two-step virtual reality based conceptual design tool that enables industrial designers to create sketches of their ideas in 3-dimensional space in real tim...