96 search results - page 11 / 20 » A symbolic approach to controlling piecewise affine systems |
ATAL
2004
Springer
15 years 1 months ago
2004
Springer
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...
CPAIOR
2007
Springer
15 years 3 months ago
2007
Springer
One of the most important policies adopted in inventory control is the (R,S) policy (also known as the “replenishment cycle” policy). Under the non-stationary demand assumption...
74
Voted
MLMI
2004
Springer
15 years 2 months ago
2004
Springer
A polyglot text-to-speech synthesis system which is able to read aloud mixed-lingual text has first of all to derive the correct pronunciation. This is achieved with an accurate m...
ICARCV
2006
IEEE
15 years 3 months ago
2006
IEEE
—A mini scale helicopter poses a difficult control problem due to its complex dynamics. Compared to its full-size counterparts, the model helicopter exhibits not only increased s...
120
Voted
CAD
2012
Springer
13 years 5 months ago
2012
Springer
We provide a flexible shape control technique in this paper for the automatic resizing of apparel products. The automatic resizing function has become an essential part of the 3D...