1401 search results - page 190 / 281 » Randomness in Interactive Proofs |
ICCS
2009
Springer
14 years 7 months ago
2009
Springer
This article presents a local control approach to linear vehicle platooning. Linear platoon systems are sets of vehicles that use local or global perception capabilities to form a ...
122
click to vote
KI
2010
Springer
14 years 4 months ago
2010
Springer
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
IACR
2011
13 years 9 months ago
2011
Zero knowledge sets (ZKS) [18] allow a party to commit to a secret set S and then to, non interactively, produce proofs for statements such as x ∈ S or x /∈ S. As recognized in...
110
click to vote
RECOMB
2003
Springer
15 years 10 months ago
2003
Springer
We develop an integrated probabilistic model to combine protein physical interactions, genetic interactions, highly correlated gene expression network, protein complex data, and d...
102
click to vote
CVPR
2009
IEEE
16 years 5 months ago
2009
IEEE
We address the problem of label assignment in computer
vision: given a novel 3-D or 2-D scene, we wish to assign a
unique label to every site (voxel, pixel, superpixel, etc.). To...