3228 search results - page 434 / 646 » Computationally Sound Proofs |
106
Voted
ACL
2010
15 years 1 months ago
2010
In the EMIME project we have studied unsupervised cross-lingual speaker adaptation. We have employed an HMM statistical framework for both speech recognition and synthesis which p...
143
Voted
GI
2009
Springer
15 years 1 months ago
2009
Springer
: Static analysis techniques for consistency checking of workflows allow to avoid runtime errors. This is in particular crucial for long running workflows where errors, detected la...
130
Voted
GI
2009
Springer
15 years 1 months ago
2009
Springer
: An active sonar system consists of a sound source activating a surveillance area and a receiver listening for echoes reflected from targets. In a bistatic setup, the source and t...
107
Voted
HCI
2009
15 years 1 months ago
2009
This study tries to find the designing blind spots of the voice prompt function in the current car navigation systems and make improvement suggestions. The experimental plan was im...
169
Voted
CVPR
2010
IEEE
15 years 29 days ago
2010
IEEE
Watching a reflection in a glass window, one can often observe a multi-layered image consisting of a frontsurface reflection from the glass and a rear-surface reflection through t...