12487 search results - page 1867 / 2498 » Graspable Work Modeling |
192
Voted
SI3D
1999
ACM
15 years 11 months ago
1999
ACM
We present a new approach for simplifying polygonal objects. Our method is general in that it works on models that contain both non-manifold geometry and surface attributes. It is...
221
Voted
AGENTS
1999
Springer
15 years 11 months ago
1999
Springer
Most work on intelligent information agents has thus far focused on systems that are accessible through the World Wide Web. As demanding schedules prohibit people from continuous ...
218
click to vote
EUROCRYPT
1999
Springer
15 years 11 months ago
1999
Springer
We consider the problem of basing Oblivious Transfer (OT) and Bit Commitment (BC), with information theoretic security, on seemingly weaker primitives. We introduce a general model...
219
click to vote
ICLP
1999
Springer
15 years 11 months ago
1999
Springer
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...
259
click to vote
CAV
1998
Springer
15 years 11 months ago
1998
Springer
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...