1401 search results - page 121 / 281 » Randomness in Interactive Proofs |
124
Voted
APPROX
2009
Springer
15 years 10 months ago
2009
Springer
The area of derandomization attempts to provide efficient deterministic simulations of randomized algorithms in various algorithmic settings. Goldreich and Wigderson introduced a n...
157
click to vote
ICIP
2008
IEEE
16 years 5 months ago
2008
IEEE
We introduce a framework for modeling spatial patterns of shapes formed by multiple objects in an image. Our approach is graph-based where each node denotes an object and attribut...
122
Voted
DALT
2004
Springer
15 years 9 months ago
2004
Springer
Declarative modelling approaches in principle assume a notion of representation or representational content for the modelling concepts. The notion of representational content as di...
120
Voted
EICS
2010
ACM
15 years 8 months ago
2010
ACM
Fostering creativity in User Interface (UI) design is challenging for innovation. This paper explores the combination of model-based approaches and interactive genetic algorithms ...
125
Voted
HUC
2007
Springer
15 years 7 months ago
2007
Springer
Securing interactions between devices that do not know each other a priori is an important and challenging task. We present Amigo, a technique to authenticate co-located devices us...