207 search results - page 23 / 42 » Proof Systems and Transformation Games |
84
Voted
CRYPTO
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This paper introduces simulatable verifiable random functions (sVRF). VRFs are similar to pseudorandom functions, except that they are also verifiable: corresponding to...
ACIVS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This article deals with a monocular vision system for grasping gesture acquisition. This system could be used for medical diagnostic, robot or game control. We describe a...
WEBIST
2008
14 years 11 months ago
2008
We present in this paper the architecture and some implementation details of a web-based version of a Trivial game. Our implementation achieves such a high degree of interactivity ...
ALIFE
2004
14 years 9 months ago
2004
Maturana and Varela's notion of autopoiesis has the potential to transform the conceptual foundation of biology as well as the cognitive, behavioral, and brain sciences. In or...
HCI
2009
14 years 7 months ago
2009
Abstract. The archetype of many novel research activities is called cognition. Although separate definitions exist to define a technical cognitive system, it is typically character...