110
Voted
CORR
2016
Springer
10 years 1 months ago
2016
Springer
Most of the world’s digital data is currently encoded in a sequential form, and compression methods for sequences have been studied extensively. However, there are many types of...
98
Voted
CORR
2016
Springer
10 years 1 months ago
2016
Springer
115
click to vote
CORR
2016
Springer
10 years 1 months ago
2016
Springer
Changing someone’s opinion is arguably one of the most important challenges of social interaction. The underlying process proves difficult to study: it is hard to know how some...
99
Voted
CORR
2016
Springer
10 years 1 months ago
2016
Springer
Abstract. We present the first session typing system guaranteeing response liveness properties for possibly non-terminating communicating processes. The types augment the branch a...
106
Voted
CORR
2016
Springer
10 years 1 months ago
2016
Springer
The standard approach to compressive sampling considers recovering an unknown deterministic signal with certain known structure, and designing the sub-sampling pattern and recover...