Histories & Futures A Semantic Future for AI Rudi Studer, Institute AIFB, University of Karlsruhe; FZI Research Center for Information Technologies; and Ontoprise GmBH Anupriya Ankolekar, Pascal Hitzler, and York Sure,

Source URL: daselab.cs.wright.edu

Pascal ISO 7185:1990 This online copy of the unextended Pascal standard is provided only as an aid to standardization. In the case of differences between this online version and the printed version, the printed version t

Source URL: www.pascal-central.com

Syntaxe abstraite de Pseudo-Pascal Franc¸ois Pottier Cette fiche recapitule la syntaxe abstraite du langage Pseudo-Pascal. Elle correspond a` la ´ definition

Source URL: www.enseignement.polytechnique.fr

User Manual Frama-C User Manual Release MagnesiumLoïc Correnson, Pascal Cuoq, Florent Kirchner, Virgile Prevosto, Armand Puccetti, Julien

Source URL: frama-c.com

A Generalized Resolution Theorem Pascal Hitzler Artificial Intelligence Institute Department of Computer Science Dresden University of Technology

Source URL: daselab.cs.wright.edu

NVIDIA DGX-1 DEEP LEARNING SYSTEM The World’s First Deep Learning Supercomputer in a Box Data scientists and artificial intelligence (AI) researchers require

Source URL: images.nvidia.com

• Computing
• Computer architecture
• Concurrent computing
• GPGPU
• Parallel computing
• Video cards
• Graphics hardware
• Nvidia
• Nvidia DGX-1
• Pascal
• Graphics processing unit
• NVLink

A Smart Book Web Development in Pascal with Smart Mobile Studio Primož Gabrijelčič This book is for sale at http://leanpub.com/asmartbook This version was published on

Source URL: samples.leanpub.com

Logic Programs and Connectionist Networks∗ Pascal Hitzler† , Steffen H¨olldobler† , Anthony Karel Seda‡ † Technische Universit¨at Dresden, Department of Computer Science, 01062 Dresden, Germany

Source URL: daselab.cs.wright.edu

Controlling Redundancy in Referring Expressions Jette Viethen1 , Robert Dale1 , Emiel Krahmer2 , Mari¨et Theune3 , Pascal Touset3 1 Centre for Language Technology Macquarie University

Source URL: wwwhome.cs.utwente.nl

Optimizing BRDF Orientations for the Manipulation of Anisotropic Highlights Boris Raymond, Ga¨el Guennebaud, Pascal Barla, Romain Pacanowski, Xavier Granier To cite this version:

Source URL: hal.inria.fr