1![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. 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.](https://www.pdfsearch.io/img/ea6a3f847dc6bbcfde06c890a2dd3ccb.jpg) | Add to Reading ListSource URL: www.neven.orgLanguage: English - Date: 2012-04-18 06:07:38
|
---|
2![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 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](https://www.pdfsearch.io/img/e7ce247cfaa4154e04d07aaebe07c965.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-07-30 15:10:44
|
---|
3![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 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](https://www.pdfsearch.io/img/ec7e882cb789d2a67159c4de1473ab5a.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2016-01-15 12:55:59
|
---|
4![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 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](https://www.pdfsearch.io/img/0216de8f65ecf707597a6c84475e436e.jpg) | Add to Reading ListSource URL: rpg.ifi.uzh.chLanguage: English - Date: 2018-08-04 04:56:25
|
---|
5![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 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](https://www.pdfsearch.io/img/40409bd16f0d69609248b855f45fac52.jpg) | Add to Reading ListSource URL: cseweb.ucsd.eduLanguage: English - Date: 2006-08-14 17:10:52
|
---|
6![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 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](https://www.pdfsearch.io/img/e418694779c32debe269329796d4721a.jpg) | Add to Reading ListSource URL: www.systemdynamics.orgLanguage: English - Date: 2017-12-18 05:49:07
|
---|
7![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 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](https://www.pdfsearch.io/img/efaad603b6a4b1c86223fd288db3293a.jpg) | Add to Reading ListSource URL: www.diego-perez.netLanguage: English - Date: 2013-01-02 07:32:29
|
---|
8![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 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](https://www.pdfsearch.io/img/30be6664ed168d67592f194467d3d05c.jpg) | Add to Reading ListSource URL: comma2014.arg.dundee.ac.ukLanguage: English - Date: 2014-08-25 11:16:17
|
---|
9![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 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](https://www.pdfsearch.io/img/e332b2fb9506373535742dcbbb053963.jpg) | Add to Reading ListSource URL: cmna.csc.liv.ac.ukLanguage: English - Date: 2004-07-05 11:30:14
|
---|
10![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 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](https://www.pdfsearch.io/img/018b58ce6a98b09160319c67451830ba.jpg) | Add to Reading ListSource URL: hci.stanford.eduLanguage: English - Date: 2001-05-23 17:46:08
|
---|