331
click to vote
CC
2015
Springer
9 years 11 months ago
2015
Springer
We study the behavior of the entangled value of two-player one-round projection games under parallel repetition. We show that for any projection game G of entangled value 1 − ε...
215
click to vote
CC
2015
Springer
9 years 11 months ago
2015
Springer
This paper characterizes alternation-trading based proofs that the Boolean satisfiability problem is not in the time and space
191
click to vote
CC
2015
Springer
9 years 11 months ago
2015
Springer
Modeling languages for hybrid systems are cornerstones of embedded systems development in which software interacts with a physical environment. Sequential code generation from such...
198
click to vote
CC
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. In many data processing tasks, declarative query programming offers substantial benefit over manual data analysis: the query processors found in declarative systems can...