558 search results - page 80 / 112 » Optimizing Symbolic Model Checking for Constraint-Rich Model... |
119
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
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...
120
click to vote
LICS
2002
IEEE
15 years 8 months ago
2002
IEEE
We investigate NLTL, a linear-time temporal logic with forgettable past. NLTL can be exponentially more succinct than LTL + Past (which in turn can be more succinct than LTL). We ...
111
Voted
ICIP
2002
IEEE
16 years 5 months ago
2002
IEEE
Most wavelet-based image coders fail to model the joint coherent behavior of wavelet coefficients near edges. Wedgelets offer a convenient parameterization for the edges in an ima...
132
Voted
ICDCS
2007
IEEE
15 years 9 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
140
Voted
SAIG
2000
Springer
15 years 7 months ago
2000
Springer
Extracting information from data, often also called data analysis, is an important scienti c task. Statistical approaches, which use methods from probability theory and numerical a...