Sciweavers

1578 search results - page 145 / 316
» Self-healing systems - survey and synthesis
Sort
View
ACL
2006
13 years 11 months ago
Learning to Say It Well: Reranking Realizations by Predicted Synthesis Quality
This paper presents a method for adapting a language generator to the strengths and weaknesses of a synthetic voice, thereby improving the naturalness of synthetic speech in a spo...
Crystal Nakatsu, Michael White
AUTOMATICA
2008
114views more  AUTOMATICA 2008»
13 years 9 months ago
A synthesis approach for output feedback robust constrained model predictive control
This paper addresses the synthesis approach to output feedback robust model predictive control for systems with polytopic description, bounded state disturbance and measurement no...
BaoCang Ding, YuGeng Xi, Marcin T. Cychowski, Thom...
ENTCS
2006
176views more  ENTCS 2006»
13 years 9 months ago
Automatic Formal Synthesis of Hardware from Higher Order Logic
A compiler that automatically translates recursive function definitions in higher order logic to clocked synchronous hardware is described. Compilation is by mechanised proof in t...
Mike Gordon, Juliano Iyoda, Scott Owens, Konrad Sl...
TROB
2008
108views more  TROB 2008»
13 years 9 months ago
On the Synthesis of Haptic Textures
Advanced, synthetic haptic virtual environments require textured virtual surfaces. We found that texturing smooth surfaces often reduces the system passivity margin of a haptic sim...
Gianni Campion, Vincent Hayward
DSD
2010
IEEE
162views Hardware» more  DSD 2010»
13 years 8 months ago
A Parallel for Loop Memory Template for a High Level Synthesis Compiler
—We propose a parametrized memory template for applications with parallel for loops. The template’s parameters reflect important trade-offs made during system design. The temp...
Craig Moore, Wim Meeus, Harald Devos, Dirk Strooba...