5600 search results - page 735 / 1120 » Synthesizing robust systems |
147
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
The term immersion is widely used to describe games but it is not clear what immersion is or indeed if people are using the same word consistently. This paper describes work done ...
181
click to vote
ICALP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We describe a simple, conceptual forward analysis procedure for complete WSTS S. This computes the clover of a state s0, i.e., a finite description of the closure of the ...
136
click to vote
ECIR
2009
Springer
16 years 4 months ago
2009
Springer
As document collections grow larger, the information needs and relevance judgments in a test collection must be well-chosen within a limited budget to give the most reliable and ro...
209
click to vote
DCC
2010
IEEE
16 years 1 months ago
2010
IEEE
The multiple description coding of an independent and identically distributed Gaussian source over bit error channels is considered. A novel practical multiple description coding ...
173
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
This paper studies the use of highly dynamic networks as infrastructures for persistent storage of data that offer services at specific geographical zones in a decentralized and...