2940 search results - page 228 / 588 » Relational Parametricity and Control |
163
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
It is well-known that scale space theory and Tikhonov regularization are close-knit. In previous studies qualitative analogies and formal relations had already been found, but non...
154
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper, we present a comparison theorem for the solutions of two generalized algebraic Riccati equations (GAREs) coming from two different systems. We show that the so-c...
141
click to vote
SMC
2007
IEEE
16 years 27 days ago
2007
IEEE
— In this paper we propose a new technique allowing to map descriptive data into relative distance space, which is based primarily on senses of the terms stored in our data. We u...
166
click to vote
HYBRID
2004
Springer
16 years 5 hour ago
2004
Springer
A general notion of bisimulation is studied for dynamical systems. An algebraic characterization of bisimulation together with an algorithm for computing the maximal bisimulation r...
151
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This work is concerned with the problem of characterizing and computing probabilistic bisimulations of diffusion processes. A probabilistic bisimulation relation between two su...