Sciweavers

2661 search results - page 319 / 533
» Model Checking Performability Properties
Sort
View
CSL
2007
Springer
13 years 10 months ago
Speaker-adaptive learning of resonance targets in a hidden trajectory model of speech coarticulation
A novel speaker-adaptive learning algorithm is developed and evaluated for a hidden trajectory model of speech coarticulation and reduction. Central to this model is the process o...
Dong Yu, Li Deng, Alex Acero
PE
2008
Springer
106views Optimization» more  PE 2008»
13 years 10 months ago
Heavy traffic analysis of polling models by mean value analysis
In this paper we present a new approach to derive heavy-traffic asymptotics for polling models. We consider the classical cyclic polling model with exhaustive or gated service at ...
Robert D. van der Mei, Erik M. M. Winands
ICASSP
2008
IEEE
14 years 5 months ago
A no-reference perceptual blockiness metric
A novel no-reference blockiness metric that can automatically and perceptually quantify blocking artifacts of DCT coding is presented. The proposed metric is built upon the specif...
Hantao Liu, Ingrid Heynderickx
ECAL
2007
Springer
14 years 5 months ago
Grounding Action-Selection in Event-Based Anticipation
Anticipation is one of the key aspects involved in flexible and adaptive behavior. The ability for an autonomous agent to extract a relevant model of its coupling with the environ...
Philippe Capdepuy, Daniel Polani, Chrystopher L. N...
HPCS
2006
IEEE
14 years 4 months ago
Simulations of Disordered Bosons on Hyper-Cubic Lattices
We address computational issues relevant to the study of disordered quantum mechanical systems at very low temperatures. As an example we consider the disordered BoseHubbard model...
Peter Hitchcock, Erik S. Sørensen