3951 search results - page 296 / 791 » Automatic amortized analysis |
174
click to vote
GRAPHICSINTERFACE
2000
15 years 8 months ago
2000
With the advent of image based modeling techniques, it becomes easier to apply textures extracted from reality onto virtual worlds. Many repetitive patterns (structural textures) ...
175
click to vote
ATVA
2010
Springer
15 years 7 months ago
2010
Springer
Probabilistic B (pB) [2, 8] extends classical B [7] to incorporate probabilistic updates together with the specification of quantitative safety properties. As for classical B, prob...
179
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
Class posterior distributions have recently been used quite successfully in Automatic Speech Recognition (ASR), either for frame or phone level classification or as acoustic featu...
165
Voted
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This paper studies the performance of hybrid-ARQ (automatic repeat request) in Rayleigh blockfading channels. The long-term average transmitted rate is analyzed in a fast-fading s...
203
Voted
ISM
2008
IEEE
15 years 6 months ago
2008
IEEE
We describe whiteboard content capture system from Presentations Automatically Organized from Lectures (PAOL) that captures content within the setting of a classroom environment. ...