A preliminary version of this paper appears in Advances in Cryptology – EUROCRYPT 2004, volume 3027 of Lecture Notes in Computer Science, C. Cachin and J. Camenisch ed., Springer-Verlag, 2004. This is the full version.

Source URL: www.neven.org

• Cryptography
• Digital signature
• Random oracle
• IP
• Ibi
• Schnorr signature

A Case for Query-driven Predicate Answer Set Programming (Position Paper) Gopal Gupta Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin Department of Computer Science The University of Texas at Dallas

Source URL: www.cs.man.ac.uk

• Artificial intelligence
• Logic
• Logic programming
• Declarative programming
• Automated reasoning
• Programming paradigms
• Automated theorem proving
• Answer set programming
• Reasoning system
• Stable model semantics
• Prolog
• Inference

The Protection of Information in Computer Systems JEROME H. SALTZER, SENIOR MEMBER, IEEE, AND MICHAEL D. SCHROEDER, MEMBER, IEEE Invited Paper Abstract - This tutorial paper explores the mechanics of

Source URL: www.doc.ic.ac.uk

• Computer security
• Security engineering
• Prevention
• Security
• Crime prevention
• Cryptography
• Information governance
• National security
• Password
• Operating system
• Protection ring
• Capability-based security

Paper accepted at the European Conf. on Computer Vision (ECCV), Munich, Semi-Dense 3D Reconstruction with a Stereo Event Camera Yi Zhou1,2 , Guillermo Gallego3 , Henri Rebecq3 , Laurent Kneip4 , Hongdong Li1,2 , a

Source URL: rpg.ifi.uzh.ch

• Computer vision
• Stereophotogrammetry
• 3D imaging
• Artificial intelligence
• Image processing
• Robotic sensing
• 3D reconstruction
• Range imaging
• Stereoscopy
• Triangulation
• Stereophonic sound
• Visual odometry

A preliminary version of this paper appears in Advances in Cryptology – CRYPTO ’06, Lecture Notes in Computer Science Vol. 4117 , C. Dwork ed., Springer-Verlag, 2006. This is the full version. New Proofs for NMAC and

Source URL: cseweb.ucsd.edu

• Cryptography
• Hashing
• Pseudorandomness
• HMAC
• Pseudorandom function family
• Cryptographic hash function
• Hash function
• Oracle machine
• Block cipher

Paper presented at the 35th International Conference of the System Dynamics Society, July 17-21, 2017, Cambridge, MA, USA Linking Simulator Functionality with Learning: An Extension of the Taxonomy of Computer Simulation

Source URL: www.systemdynamics.org

Reactiveness and Navigation in Computer Games: Different Needs, Different Approaches Diego Perez, Miguel Nicolau, Michael O’Neill and Anthony Brabazon Abstract—This paper presents an approach to the Mario AI Benchmar

Source URL: www.diego-perez.net

Taking the Long View: Looking Ahead in Practical Reasoning Katie ATKINSON and Trevor BENCH-CAPON Department of Computer Science, The University of Liverpool, England Abstract. In this paper we extend an argumentation sc

Source URL: comma2014.arg.dundee.ac.uk

Computer-supported collaborative argumentation Maxime Morge Abstract. In this paper, we propose a computer-supported collaborative argumentation for the public debate. For this purpose, we use the Analytic Hierarchy Proc

Source URL: cmna.csc.liv.ac.uk

Architectures for Context Terry Winograd Computer Science Department, Stanford University This paper is one of a set of responses that will appear in the HI JCournal in 2001 to an Article by Dey, A. K., Salber, D., Abowd

Source URL: hci.stanford.edu