Logical machine - PDFSEARCH.IO - Document Search Engine

Logical machine
Results: 63

#	Item
1	Programming by Examples: Logical Reasoning meets Machine Learning NAMPI Workshop July 2018 Sumit Gulwani Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 SUMIT Spreadsheet Computing Framework Symposium on Principles of Programming Languages Computer science Electrical engineering
2	Logical Induction (Abridged) Scott Garrabrant, Tsvi Benson-Tilsen, Andrew Critch, Nate Soares, and Jessica Taylor {scott,tsvi,critch,nate,jessica}@intelligence.org Machine Intelligence Research Institute Abstract Add to Reading List Source URL: intelligence.org Language: English - Date: 2017-01-30 22:06:06
3	Most babies are little and most problems are huge: Compositional Entailment in Adjective-Nouns Ellie Pavlick University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2016-08-02 12:42:41 Logic Logical consequence Philosophy of logic Textual entailment SemEval Entailment Monotonicity of entailment Implication Implicature Argument WordNet Machine learning
4	Hypervisor-based Fault-tolerance Thomas C. Bressoud Isis Distributed Systems Add to Reading List Source URL: nil.csail.mit.edu Language: English - Date: 2015-01-05 06:37:33 Software System software Computing Hypervisor Hyper-V Virtual machine Virtualization Logical partition Protection ring Tandem Computers VM Interrupt
5	XtratuM hypervisor Alfons Crespo Jon Pérez (IK4-Ikerlan) Berlin Nov. 4th Add to Reading List Source URL: 138.4.11.199 Language: English - Date: 2015-01-11 06:54:50 Software System software Computing XtratuM Power Architecture Hypervisor Logical partition Hyper-V Hardware virtualization Virtualization Protection ring Virtual machine
6	Proceedings of the Eighth International Conference on Machine Learning and Cybernetics, Baoding, 12-15 JulySOLVING JAPANESE PUZZLES WITH LOGICAL RULES AND DEPTH FIRST SEARCH ALGORITHM MIN-QUAN JING, CHIUNG-HSUEH Y Add to Reading List Source URL: debut.cis.nctu.edu.tw Language: English - Date: 2013-07-12 03:09:44 Logic puzzles NP-complete problems Logic Mathematics Abstraction Nonogram Light Up Algorithm Sudoku solving algorithms Nurikabe
7	J. Autom. Reasoning manuscript No. (will be inserted by the editor) Semi-intelligible Isar Proofs from Machine-Generated Proofs Jasmin Christian Blanchette · Sascha Böhme · Mathias Fleury · Steffen Juilf Smolka · Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-07-02 06:25:32 Logic Mathematical logic Automated theorem proving Mathematics Mathematical proofs Proof assistants Logical truth Proof theory Isabelle First-order logic Automated reasoning Theorem
8	Architecture Support for Guest-Transparent VM Protection from Untrusted Hypervisor and Physical Attacks∗ Yubin Xia, Yutao Liu, Haibo Chen Institute of Parallel and Distributed Systems, Shanghai Jiao Tong University {xi Add to Reading List Source URL: ipads.se.sjtu.edu.cn Language: English - Date: 2013-02-06 17:26:37 Hardware virtualization Hypervisor VM Hyper-V Logical partition Virtual machine Virtualization Xen Hardware-assisted virtualization Page table Paravirtualization Embedded hypervisor
9	The ConsoleWorks® Difference – Security ConsoleWorks maintains a persistent, secure connection to physical and logical infrastructures to monitor user actions, machine activity, and all defined incidents worth knowing Add to Reading List Source URL: www.tditechnologies.com Language: English - Date: 2015-06-04 12:04:25
10	Hypervisor-based Fault-tolerance Thomas C. Bressoud Isis Distributed Systems Add to Reading List Source URL: css.csail.mit.edu Language: English - Date: 2014-12-08 14:33:01 Software System software Computing Hypervisor AS/400 Power Architecture Hyper-V Virtual machine Virtualization Logical partition Protection ring Tandem Computers

UPDATE