Sciweavers

4451 search results - page 161 / 891
» Continuous model synthesis
Sort
View
GPCE
2008
Springer
15 years 7 months ago
Property models: from incidental algorithms to reusable components
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for “command parameter synthesis” is usuall...
Jaakko Järvi, Mat Marcus, Sean Parent, John F...
SIGSOFT
2010
ACM
15 years 4 months ago
From requirements to partial behavior models: an iterative approach to incremental specification refinement
In this thesis, I will improve the state-of-the-art for capturing, analyzing, and refining functional requirements by providing support for synthesizing, analyzing, and refining M...
Ivo Krka
DEDS
1998
82views more  DEDS 1998»
15 years 6 months ago
Synthesis and Viability of Minimally Interventive Legal Controllers for Hybrid Systems
In this paper, we study the control of Composite Hybrid Machines (CHMs) subject to safety speci cations. CHMs are a fairly general class of hybrid systems modeled in modular fashi...
Michael Heymann, Feng Lin, George Meyer
EACL
2009
ACL Anthology
16 years 7 months ago
Adaptive Natural Language Interaction
The subject of this demonstration is natural language interaction, focusing on adaptivity and profiling of the dialogue management and the generated output (text and speech). Thes...
Stasinos Konstantopoulos, Athanasios Tegos, Dimitr...
ADS
2004
Springer
15 years 12 months ago
How (Not) to Add Laughter to Synthetic Speech
Laughter is a powerful means of emotion expression which has not yet been used in speech synthesis. The current paper reports on a pilot study in which differently created types of...
Jürgen Trouvain, Marc Schröder