Turing - PDFSEARCH.IO - Document Search Engine

Turing
Results: 1422

#	Item
71	PDF Document Add to Reading List Source URL: www.etaps.org Language: English - Date: 2016-03-31 11:43:47 Edsger W. Dijkstra Computing Computer science Software engineering THE multiprogramming system European Joint Conferences on Theory and Practice of Software Dijkstra Turing Award Semaphore
72	PDF Document Add to Reading List Source URL: homepages.math.uic.edu Language: English - Date: 2016-01-08 10:48:49 Computability theory Theoretical computer science Theory of computation Mathematics Mathematical logic Turing machine Models of computation Computable number Alan Turing Computable function Definable real number Computability
73	Declarative Verifiable SDI Specifications Rick McGeer US Ignite ABSTRACT Add to Reading List Source URL: spw16.langsec.org Language: English - Date: 2016-06-05 23:38:43 Theoretical computer science Formal methods Formal verification Software-defined networking Software verification Turing machine Finite-state machine Model checking Temporal logic OpenFlow Computer science Distributed computing
74	NEWS RELEASE Contact: Jim Ormond Add to Reading List Source URL: fellows.acm.org Language: English - Date: 2015-12-08 10:42:02 Association for Computing Machinery Michael Luby Bing Liu Chih-Jen Lin Hsinchun Chen Turing Award W. Wallace McDowell Award
75	Facet Discovery for Structured Web Search: A Query-log Mining Approach ∗ Jeffrey Pound Add to Reading List Source URL: www.cs.uoi.gr Language: English - Date: 2011-03-23 19:39:50 Attributevalue pair Data modeling Join Metadata Attribute Relational model Visual Turing Test Rough set
76	AI System Solves SAT Geometry Questions At Same Level As Average Human Test Taker Breakthrough Achieved by Allen Institute for Artificial Intelligence and University of Washington Seattle, WA (Sept. 21, The Allen Add to Reading List Source URL: ai2-website.s3.amazonaws.com Language: English - Date: 2016-05-13 13:25:44 Allen Institute for Artificial Intelligence Artificial intelligence Philosophy of artificial intelligence Computational neuroscience Paul Allen SAT Turing test Problem solving Computer science Geometry Oren Etzioni ACT
77	A Methodology for the Construction of the Turing Machine Ike Antkaretoo International Institute of Technology United Slates of Earth Add to Reading List Source URL: membres-lig.imag.fr Language: English - Date: 2014-01-09 04:24:29 Actor model Concurrent computing Dwight D. Eisenhower
78	Powerpoint-presentation Information and Computing Sciences Add to Reading List Source URL: www.usefulpatterns.org Language: English - Date: 2015-04-25 08:23:03 Algorithmic information theory Computability theory Randomness Theoretical computer science Turing machine Kolmogorov complexity Algorithmically random sequence Algorithmic probability Minimum description length Complexity Ray Solomonoff Algorithm
79	Daniel Augot’s one page curriculum vitæ (as of October, 3rd 2013) • Contact address: INRIA Saclay–ˆIle-de-France & LIX Bˆ atiment Alan Turing 1 rue Honor´e d’Estienne d’Orves Add to Reading List Source URL: pages.saclay.inria.fr Language: English - Date: 2013-10-03 04:36:34 French Institute for Research in Computer Science and Automation Theoretical computer science Pierre and Marie Curie University cole Polytechnique
80	Computability 1 Tao Jiang Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2002-01-28 23:36:37 Computability theory Theory of computation Turing machine Models of computation Theoretical computer science Computability Algorithm Halting problem Reduction Computable function NP Complexity class

UPDATE