EXPTIME - PDFSEARCH.IO - Document Search Engine

EXPTIME
Results: 32

#	Item
11	Microsoft PowerPoint - line_list_HeNeAr Add to Reading List Source URL: www.lulin.ncu.edu.tw Language: English - Date: 2011-01-13 02:21:15 Pavements Street furniture Complexity classes Land transport EXPTIME Road transport Transport Drainage Grating
12	IMPLICATIONAL RELEVANCE LOGIC IS 2-EXPTIME-COMPLETE arXiv:1402.0705v2 [cs.LO] 25 Sep[removed]SYLVAIN SCHMITZ Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-03-04 05:44:40 Deduction Rules of inference Converse Traditional logic Entailment Reachability Sequent calculus Implicational propositional calculus Logic Propositional calculus Proof theory
13	Lecture XXX Page 1 “The field of mechanical theorem proving badly needs a basis for comparing and evaluating the dozens of procedures which appear in the literature. Performance of a Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2013-11-21 18:33:24 Complexity classes P Time complexity Algorithm Reduction Turing machine EXPTIME Computability L Theoretical computer science Computational complexity theory Applied mathematics
14	Some Results on the Complexity of Planning with Incomplete Information Patrik Haslum and Peter Jonsson Department of Computer and Information Science Linkoping University, S[removed]Linkoping, Sweden fpahas,petejg@ida.l Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 04:29:17 Applied mathematics EXPSPACE STRIPS PSPACE NP IP PP EXPTIME FO Theoretical computer science Computational complexity theory Complexity classes
15	GALEX IMAGING MODE QUALITY ASSURANCE March 2005 Mark Seibert, Ted Wyder, Min Hubbard, Tim Conrow, Raymond Tam Contents 1 GENERAL DESCRIPTION OF IMAGING QA PROCESS Add to Reading List Source URL: galexgi.gsfc.nasa.gov Language: English - Date: 2007-01-19 10:45:27 IMAGE QA Mass spectrometry software EXPTIME Spaceflight Space technology Applied mathematics Evaluation Quality assurance Astrometry
16	How to Run Turing Machines on Encrypted Data Shafi Goldwasser? Yael Kalai† Raluca Ada Popa? ./ Vinod Vaikuntanathan Add to Reading List Source URL: web.mit.edu Language: English - Date: 2014-09-26 19:20:42 Turing machine Computability theory Models of computation Alan Turing Homomorphic encryption Computability Advice NTIME EXPTIME Theoretical computer science Applied mathematics Complexity classes
17	Classification of computational problems Pavel Pudlák Mathematical Institute, Academy of Sciences, Prague FJFI, [removed] Add to Reading List Source URL: kolokvium.fjfi.cvut.cz Language: English - Date: 2014-04-09 11:50:42 Applied mathematics NP P versus NP problem Polynomial EXPTIME P NTIME NP-hard IP Theoretical computer science Computational complexity theory Complexity classes
18	A Tale of Two Cultures: Phase Transitions in Physics and Computer Science Cristopher Moore University of New Mexico and the Santa Fe Institute Add to Reading List Source URL: tuvalu.santafe.edu Language: English - Date: 2006-12-15 13:47:11 Applied mathematics NP P versus NP problem EXPTIME P Complete Hamiltonian path Co-NP Polynomial-time reduction Theoretical computer science Computational complexity theory Complexity classes
19	Quantiers in TIME and SPACE Computational Complexity of Generalized Quantiers in Natural Language Jakub Szymanik Add to Reading List Source URL: www.jakubszymanik.com Language: English - Date: 2011-03-21 08:58:36 Science Mathematical logic Institute for Logic Language and Computation Computational complexity theory Complexity Algorithm Descriptive complexity theory EXPTIME P Applied mathematics Complexity classes Mathematics
20	EXPTIME Tableaux for ALC Using Sound Global Caching Rajeev Gor´e1 and Linh Anh Nguyen2 1 The Australian National University Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Automated theorem proving Method of analytic tableaux Graph Directed graph Mathematical logic Graph theory Theoretical computer science Mathematics