5600 search results - page 216 / 1120 » Synthesizing robust systems |
CAV
2003
Springer
14 years 2 months ago
2003
Springer
We consider the problem of synthesizing controllers for timed systems modeled using timed automata. The point of departure from earlier work is that we consider controllers that ha...
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
—To deal with the estimation problem for systems subject to constraints while the corresponding noise processes are not completely known, the adaptive constraint-filtering method...
CVPR
1998
IEEE
14 years 1 months ago
1998
IEEE
1 A system of coupled differential equations is formulated which learns priors for modelling "preattentive" textures. It is derived from an energy functional consisting o...
SIGGRAPH
1991
ACM
14 years 1 months ago
1991
ACM
We present a method fortexturesynthesisbased on thesimulation of a process of local nonlinear interaction, called reaction-diffusion, which has been proposed as a model of biologi...
ASPDAC
2005
ACM
13 years 11 months ago
2005
ACM
– Clocking is an essential component of any embedded system design. However, traditional design techniques are either short of clocking support or too complex for users. The Unif...