5200 search results - page 55 / 1040 » Symbolic models for control systems |
107
click to vote
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
One problem in concatenative speech synthesis is how to incorporate prosodic factors in the unit selection. Imposing a predicted prosodic target is error-prone and does not benefi...
108
click to vote
AVI
2004
15 years 3 months ago
2004
Sim-U-Sketch is an experimental sketch-based interface we developed for Matlab 's Simulink software package. With this tool, users can construct functional Simulink models si...
106
click to vote
FORTE
2001
15 years 3 months ago
2001
The modal logic FULL is designed to capture strong bisimulation over early symbolic transition systems (STSs) for full LOTOS. It provides a compact way of expressing and verifying ...
HYBRID
2004
Springer
15 years 7 months ago
2004
Springer
