4099 search results - page 584 / 820 » A Framework for Interactive Proof |
153
click to vote
TVCG
2010
15 years 5 months ago
2010
—Data visualization is regularly promoted for its ability to reveal stories within data, yet these “data stories” differ in important ways from traditional forms of storytell...
228
click to vote
BMVC
2010
15 years 4 months ago
2010
We propose a new coherent framework for joint object detection, 3D layout estimation, and object supporting region segmentation from a single image. Our approach is based on the m...
181
click to vote
SSS
2010
Springer
15 years 4 months ago
2010
Springer
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
296
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
We introduce TwinSpace, a flexible software infrastructure for combining interactive workspaces and collaborative virtual worlds. Its design is grounded in the need to support dee...
207
click to vote
FORTE
2009
15 years 4 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...