4099 search results - page 90 / 820 » A Framework for Interactive Proof |
156
click to vote
PUC
2007
15 years 4 months ago
2007
Based on many experiences of developing interactive systems by the authors, a framework for the description and analysis of interaction has been developed. The dimensions of this m...
178
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
158
Voted
ICCV
2005
IEEE
16 years 7 months ago
2005
IEEE
We present a two-layer hierarchical formulation to exploit different levels of contextual information in images for robust classification. Each layer is modeled as a conditional f...
137
click to vote
COCO
2007
Springer
15 years 11 months ago
2007
Springer
Interactive hashing, introduced by Naor, Ostrovsky, Venkatesan and Yung (CRYPTO ’92), plays an important role in many cryptographic protocols. In particular, it is a major compo...
138
click to vote
KDD
2006
ACM
16 years 5 months ago
2006
ACM
Finding patterns of social interaction within a population has wide-ranging applications including: disease modeling, cultural and information transmission, and behavioral ecology...