4099 search results - page 127 / 820 » A Framework for Interactive Proof |
VRST
2000
ACM
15 years 2 months ago
2000
ACM
For virtual reality systems, modeling of 3D objects and scenes is important and challenging. In this paper, we present an image-based interactive 3D modeling framework consisting ...
CHI
2008
ACM
15 years 10 months ago
2008
ACM
Why do people access information via the mobile Internet? This qualitative study examines a group of active users and proposes a new preliminary framework for understanding their ...
CLIMA
2004
14 years 11 months ago
2004
Abstract. We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, an interactive theorem proving system for many-sorted first-order logic. We then ...
ENTCS
2006
14 years 10 months ago
2006
To broaden the scope of decision procedures for linear arithmetic, they have to be integrated into theorem provers. Successful approaches e.g. in NQTHM or ACL2 suggest a close int...
ECCC
2000
14 years 9 months ago
2000
Abstract. We present the first complete problem for SZK, the class of promise problems possessing statistical zero-knowledge proofs (against an honest verifier). The problem, calle...