3575 search results - page 43 / 715 » Presentations of computably enumerable reals |
156
click to vote
IPPS
2008
IEEE
16 years 15 days ago
2008
IEEE
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...
153
Voted
ICCHP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Availability of real-time speech transcription anywhere, anytime, represents a potentially life-changing opportunity for the hearingimpaired to improve their communicatio...
150
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
This paper describes a project that uses real-world computer-troubleshooting scenarios to test and expand upon the latest research and technical knowledge in the area of procedura...
172
click to vote
PG
2007
IEEE
16 years 11 days ago
2007
IEEE
We present a new, general, and real-time technique for soft global illumination in low-frequency environmental lighting. It accumulates over relatively few spherical proxies which...
204
click to vote
AMDO
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Perceptual user interfaces are becoming important nowadays, because they offer a more natural interaction with the computer via speech recognition, haptics, computer visi...