8431 search results - page 1522 / 1687 » Algorithmically Independent Sequences |
156
Voted
EMNLP
2010
15 years 16 days ago
2010
Using multi-layer neural networks to estimate the probabilities of word sequences is a promising research area in statistical language modeling, with applications in speech recogn...
162
click to vote
FORMATS
2010
Springer
15 years 16 days ago
2010
Springer
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...
131
click to vote
ICIP
2010
IEEE
15 years 15 days ago
2010
IEEE
In this paper, we focus on a new application of mobile visual search: snapping a photo with a mobile device of a video playing on a TV screen to automatically retrieve and stream ...
120
Voted
ICMCS
2010
IEEE
15 years 15 days ago
2010
IEEE
Liquid crystal display (LCD) devices are well known to have slow response due to the physical limitations of the liquid crystals. Therefore, fast moving objects in a scene are oft...
131
Voted
QEST
2010
IEEE
15 years 12 days ago
2010
IEEE
We introduce Fortuna, the first tool for model checking priced probabilistic timed automata (PPTAs). Fortuna can handle the combination of real-time, probabilistic and cost feature...