Computer - PDFSEARCH.IO - Document Search Engine

Computer
Results: 301026

#	Item
21	Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2012-05-10 09:21:59 Mathematics Mathematical analysis Temporal logic Computation tree logic Logic in computer science Distribution Symbol Constructible universe Linear temporal logic Craig interpolation
22	Theoretical Computer Science–40 www.elsevier.com/locate/tcs Presorting algorithms: An average-case point of view Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2011-03-20 04:03:38 Sorting algorithms Order theory Mathematics Combinatorics Quicksort Shellsort Insertion sort Merge sort Adaptive sort Factorial Time complexity Heapsort
23	Rain Classroom Manual Part 1 Prepare Work FOR TEACHERS ■Computer： WindowsXP SP3、Windows7 or more advanced versions Add to Reading List Source URL: qn-s0.yuketang.cn Language: English - Date: 2018-03-20 23:28:08 Software Tencent WeChat
24	Die Datenschleuder Das wissenschaftliche Fachblatt für Datenreisende Ein Organ des Chaos Computer Club e.V. NETTER PC, DEN NEHMEN WIR! Add to Reading List Source URL: ds.ccc.de Language: German - Date: 2006-03-14 18:33:10
25	Stochastic Model Checking? Marta Kwiatkowska, Gethin Norman, and David Parker School of Computer Science, University of Birmingham Edgbaston, Birmingham B15 2TT, United Kingdom Abstract. This tutorial presents an overvi Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2011-06-22 09:34:32 Mathematics Temporal logic Mathematical analysis Mathematical logic Formal languages Model theory Generalized functions Computation tree logic Logic in computer science Linear temporal logic Interpretation IP
26	Description Logics ILCS 2007 Introduction to Logic in Computer Science: Autumn 2007 Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2016-07-22 17:55:15 Logic Non-classical logic Mathematical logic Metaphysics Philosophical logic Artificial intelligence Description logic Information science Model theory Modal logic First-order logic Web Ontology Language
27	Published as a conference paper at ICLRM AKING N EURAL P ROGRAMMING A RCHITECTURES G ENERALIZE VIA R ECURSION Jonathon Cai, Richard Shin, Dawn Song Department of Computer Science Add to Reading List Source URL: people.eecs.berkeley.edu Language: English - Date: 2017-03-10 19:56:16 Computer programming Software engineering Computing Recursion Computability theory Theoretical computer science Subroutines Algorithms Quicksort Divide and conquer algorithm Recurrent neural network Artificial neural network
28	Reading Wikipedia to Answer Open-Domain Questions Adam Fisch, Jason Weston & Antoine Bordes Danqi Chen∗ Facebook AI Research Computer Science 770 Broadway Add to Reading List Source URL: arxiv.org Language: English - Date: 2017-04-30 21:08:35 Computational linguistics Artificial intelligence Linguistics Computational science Question answering Semantic parsing Training test and validation sets Cyc Artificial neural network Reading comprehension Named-entity recognition Wikipedia
29	die datenschleuder. das wissenschaftliche fachblatt für datenreisende ein organ des chaos computer club T-Com macht’s möglich Add to Reading List Source URL: ds.ccc.de Language: German - Date: 2006-03-14 18:33:00
30	Operator Counting Heuristics for Probabilistic Planning Felipe Trevizan, Sylvie Thi´ebaux, Patrik Haslum Data61, CSIRO and Research School of Computer Science, Australian National University Abstr Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2018-07-07 12:35:35 Mathematics Heuristics Edsger W. Dijkstra Automated planning and scheduling Mathematical optimization Shortest path problem Admissible heuristic Search algorithm Methodology Algorithm Cognition

UPDATE