Entailment - PDFSEARCH.IO - Document Search Engine

Entailment
Results: 1036

#	Item
41	Integrating Local Classifiers through Nonlinear Dynamics on Label Graphs with an Application to Image Segmentation Yutian Chen Andrew Gelfand Charless C. Fowlkes Max Welling Bren School of Information and Computer Scienc Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2011-10-24 21:15:45 Applied mathematics Probability theory Image processing Artificial intelligence Conditional random field Segmentation Entailment Constructible universe Markov random field Logic Graphical models Theoretical computer science
42	Scribe Notes: Game Theory in Formal Verification, Krishnendu Chatterjee Lecture 3 Matthias F¨ ugger, March 25, 2010 Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2010-03-25 12:26:50 Entailment Logical consequence Metalogic Philosophical logic Function Knaster–Tarski theorem Logic Mathematics Deduction
43	Completeness Results for Memory Logics Carlos Arecesa , Santiago Figueirab,c , Sergio Merab,1 a INRIA Nancy Grand Est, France de Computaci´ Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2012-08-27 11:06:28 Philosophical logic Metalogic Non-classical logic Deduction Model theory Hybrid logic Entailment FO Temporal logic Logic Mathematical logic Modal logic
44	COMMUNICATION WITH MULTIPLE SENDERS: AN EXPERIMENT EMANUEL VESPA AND ALISTAIR J. WILSON A BSTRACT. We implement multi-sender cheap talk in the laboratory. While full-information transmission is not theoretically feasible Add to Reading List Source URL: www.qeconomics.org Language: English - Date: 2015-07-10 14:34:53 Logical consequence Logical syntax Metalogic Logic Deduction Entailment
45	Scribe Notes: Game Theory in Formal Verification, Krishnendu Chatterjee Lecture 2 Heinrich Moser, March 12, 2010 Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2010-03-12 05:03:34 Entailment Logical consequence Metalogic Philosophical logic Partition Reachability Schedule FO Logic Mathematics Deduction
46	Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies Santiago Figueira Daniel Gor´ın Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2013-08-19 18:50:17 Model theory Logical syntax Philosophical logic Interpretation Entailment First-order logic Prenex normal form Well-formed formula Logical connective Logic Metalogic Formal languages
47	State estimation for random closed sets Marie-Colette van Lieshout CWI & University of Twente The Netherlands Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2015-05-26 05:12:41 Maximum likelihood Entailment Logic Fourier series Joseph Fourier
48	CMCSInfinitary Howe’s Method Paul Blain Levy 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2007-05-03 10:47:17 Theoretical computer science Algebraic topology Philosophical logic Deduction Entailment Metalogic Preorder Bisimulation Sheaf Mathematics Logic Abstract algebra
49	MFPSExploratory functions on nondeterministic strategies, up to lower bisimilarity ? Paul Blain Levy1 Kidane Yemane Weldemariam2 University of Birmingham, Birmingham, B15 2TT, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2009-05-18 06:36:21 Deduction Entailment Logical consequence Logical syntax Metalogic Valuation Lambda calculus Natural deduction Holomorphic functional calculus Logic Abstract algebra Mathematics
50	A Priori Entailment and the Metaphysics of Science Kelvin McQueen A thesis submitted for the degree of Doctor of Philosophy of Add to Reading List Source URL: www.abrahamkuypercenter.vu.nl Language: English - Date: 2015-03-20 06:19:36