Sciweavers

3521 search results - page 643 / 705
» Algorithmic Control in Concurrent Computations
Sort
View
USAB
2010
13 years 8 months ago
An Experimental Investigation of the Akamai Adaptive Video Streaming
Akamai oers the largest Content Delivery Network (CDN) service in the world. Building upon its CDN, it recently started to offer High Denition (HD) video distribution using HTTP-...
Luca De Cicco, Saverio Mascolo
FORMATS
2010
Springer
13 years 8 months ago
Combining Symbolic Representations for Solving Timed Games
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
Rüdiger Ehlers, Robert Mattmüller, Hans-...
ASSETS
2009
ACM
13 years 7 months ago
VocaliD: personalizing text-to-speech synthesis for individuals with severe speech impairment
Speech synthesis options on assistive communication devices are very limited and do not reflect the user’s vocal quality or personality. Previous work suggests that speakers wit...
Camil Jreige, Rupal Patel, H. Timothy Bunnell
CORR
2010
Springer
136views Education» more  CORR 2010»
13 years 6 months ago
Comparing Prediction Market Structures, With an Application to Market Making
Ensuring sufficient liquidity is one of the key challenges for designers of prediction markets. Various market making algorithms have been proposed in the literature and deployed ...
Aseem Brahma, Sanmay Das, Malik Magdon-Ismail
JMLR
2010
169views more  JMLR 2010»
13 years 4 months ago
Matrix-Variate Dirichlet Process Mixture Models
We are concerned with a multivariate response regression problem where the interest is in considering correlations both across response variates and across response samples. In th...
Zhihua Zhang, Guang Dai, Michael I. Jordan