Search Sciweavers | Sciweavers

5200 search results - page 55 / 1040

» Symbolic models for control systems

click to vote

ICASSP
2011
IEEE

175views Signal Processing» more ICASSP 2011»

Prosodic control of unit-selection speech synthesis: A probabilistic approach

13 years 14 days ago

Download mirlab.org

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...

Christophe Veaux, Xavier Rodet

claim paper

Read More »

click to vote

AVI
2004

138views Software Engineering» more AVI 2004»

Sim-U-Sketch: a sketch-based interface for SimuLink

13 years 10 months ago

Download smarttools.engr.ucr.edu

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...

Levent Burak Kara, Thomas F. Stahovich

claim paper

Read More »

click to vote

FORTE
2001

208views Formal Methods» more FORTE 2001»

Implementing a Modal Logic over Data and Processes using XTL

13 years 10 months ago

Download ftp.inrialpes.fr

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 ...

Jeremy Bryans, Carron Shankland

claim paper

Read More »

click to vote

HYBRID
2007
Springer

110views Control Systems» more HYBRID 2007»

The Image Computation Problem in Hybrid Systems Model Checking

14 years 2 months ago