4485 search results - page 332 / 897 » Equivalences on Observable Processes |
164
click to vote
SOSP
2009
ACM
16 years 3 months ago
2009
ACM
Faulty device drivers cause significant damage through down time and data loss. The problem can be mitigated by an improved driver development process that guarantees correctness...
197
click to vote
AVSS
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this work we propose a dynamic scene model to provide information about the presence of salient motion in the scene, and that could be used for focusing the attention of a pa...
151
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
We study key issues related to multilingual acoustic modeling for automatic speech recognition (ASR) through a series of large-scale ASR experiments. Our study explores shared str...
133
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a novel selective blurring algorithm that mimics the optical distance blur effects that occur naturally in cameras and eyes. The proposed algorithm provides a realistic...
169
click to vote
FSEN
2009
Springer
16 years 1 months ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...