1643 search results - page 249 / 329 » Consistability: Describing Usually Consistent Systems |
ICASSP
2009
IEEE
15 years 5 months ago
2009
IEEE
Unvoiced speech poses a big challenge to current monaural speech segregation systems. It lacks harmonic structure and is highly susceptible to interference due to its relatively w...
CRV
2005
IEEE
15 years 4 months ago
2005
IEEE
We present a proof of concept system to represent and reason about hockey play. The system takes as input player motion trajectory data tracked from game video and supported by kn...
ISW
2005
Springer
15 years 4 months ago
2005
Springer
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...
106
Voted
CLEF
2006
Springer
15 years 2 months ago
2006
Springer
This paper describes our participation in the GeoCLEF monolingual English task of the Cross Language Evaluation Forum 2006. The main objective of this study is to evaluate the retr...
104
click to vote
SIGMOD
1995
ACM
15 years 2 months ago
1995
ACM
This paper describes an efficient optimistic concurrency control scheme for use in distributed database systems in which objects are cached and manipulated at client machines whil...