ICALP
2010
Springer
14 years 4 months ago
2010
Springer
Knowledge extraction is a fundamental notion, modeling machine possession of values (witnesses) in a computational complexity sense and enabling one to argue about the internal st...
ICALP
2010
Springer
14 years 4 months ago
2010
Springer
A discrete distribution D over Σ1 × · · · × Σn is called (non-uniform) k-wise independent if for any set of k indexes {i1, . . . , ik} and for any z1 ∈ Σi1 , . . . , zk ...
ICALP
2010
Springer
14 years 4 months ago
2010
Springer
ICALP
2010
Springer
14 years 4 months ago
2010
Springer
We consider two-player turn-based games with zero-reachability and zero-safety objectives generated by extended vector addition systems with states. Although the problem of decidin...
ICALP
2010
Springer
14 years 4 months ago
2010
Springer