373 search results - page 10 / 75 » Synthesis of Trigger Properties |
ICASSP
2009
IEEE
14 years 2 months ago
2009
IEEE
This paper presents a novel method for training hidden Markov models (HMMs) for use in HMM-based speech synthesis. The primary goal of HMM parameter optimization is to ensure that...
VMV
2001
13 years 9 months ago
2001
Virtual view synthesis is essential for 3D teleconference systems like VIRTUE, which utilizes the motion parallax cue. In this paper we propose a multi-step view synthesis algorit...
MSN
2005
Springer
14 years 1 months ago
2005
Springer
Systems that track sensed data trigger alerts based on the evaluation of some condition. In the presence of loss data a conservative condition may not generate a necessary alert an...
ASPDAC
2005
ACM
13 years 9 months ago
2005
ACM
It has been shown that Binary Decision Diagram (BDD) based logic synthesis enjoys faster runtime than the classic logic synthesis systems based on Sum of Product (SOP) form. Howev...
NFM
2011
13 years 2 months ago
2011
Synthesis of finite-state machines from linear-time temporal logic (LTL) formulas is an important formal specification debugging technique for reactive systems and can quickly ge...