575 search results - page 34 / 115 » Controller Synthesis for Probabilistic Systems |
ICASSP
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper presents a new system that allows for intuitive control of an additive sound synthesis model from perceptually relevant high-level sonic features. We suggest a general ...
FORMATS
2007
Springer
13 years 12 months ago
2007
Springer
In this paper, we review some recent results on the efficient synthesis of controllers for timed systems. We first recall the basics of controller synthesis for timed games and the...
IWSAS
2001
Springer
14 years 12 days ago
2001
Springer
We seek to construct autonomous adaptive survivable systems that use active trust management to adapt their own behavior in the face of compromises in the computational environment...
UAI
2007
13 years 9 months ago
2007
This paper is part of a project to match descriptions of real-world instances and probabilistic models, both of which can be described at mulvel of abstraction and detail. We use ...
AHS
2007
IEEE
13 years 12 months ago
2007
IEEE
In this paper, we propose a design methodology for implementing a multimode (or multi-configuration) and multi-throughput system into a single hardware architecture. The inputs of...