4099 search results - page 421 / 820 » A Framework for Interactive Proof |
203
click to vote
ATAL
2003
Springer
16 years 1 days ago
2003
Springer
Interacting agents that interleave planning and execution must reach consensus on their commitments to each other. In domains where agents have varying degrees of interaction and ...
181
click to vote
ACHI
2008
IEEE
15 years 8 months ago
2008
IEEE
The complicated user interfaces and complex functionality of nowadays interactive products lead to a new class of failures: People do not understand their products and thus fail t...
172
click to vote
ENTCS
2006
15 years 6 months ago
2006
Recently, encodings in interaction nets of the call-by-name and call-by-value strategies of the -calculus have been proposed. The purpose of these encodings was to he gap between ...
221
click to vote
CVPR
2011
IEEE
15 years 3 months ago
2011
IEEE
In this work, we present an active-learning algorithm for piecewise planar 3D reconstruction of a scene. While previous interactive algorithms require the user to provide tedious i...
253
click to vote
MICCAI
2008
Springer
16 years 8 months ago
2008
Springer
Abstract. Transmission Ultrasound Computed Tomography (CT) is strongly affected by the acoustic refraction properties of the imaged tissue, and proper modeling and correction of th...