5550 search results - page 887 / 1110 » Different Approaches to Proof Systems |
187
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
Active reading, involving acts such as highlighting, writing notes, etc., is an important part of knowledge workers’ activities. Most computer-based active reading support seeks...
174
click to vote
IEAAIE
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. This paper describes aspects of a training environment for crisis decision makers who, notoriously, operate in highly stressful and unpredictable situations. Training suc...
200
click to vote
JGO
2011
14 years 9 months ago
2011
Abstract In many problems from different disciplines such as engineering, physics, medicine, and biology, a series of experimental data is used in order to generate a model that ca...
192
click to vote
HUC
2011
Springer
14 years 6 months ago
2011
Springer
A key challenge of data-driven social science is the gathering of high quality multi-dimensional datasets. A second challenge relates to design and execution of structured experim...
195
click to vote
MOBIHOC
2012
ACM
13 years 9 months ago
2012
ACM
In this paper, we characterize the throughput of a broadcast network with n receivers using rateless codes with block size K. We assume that the underlying channel is a Markov mod...