Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
661	Probabilistically Estimating Backbones and Variable Bias: Experimental Overview ? Eric I. Hsu, Christian J. Muise, J. Christopher Beck, and Sheila A. McIlraith Department of Computer Science, University of Toronto {eihsu Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2008-09-02 09:18:22 Estimation theory Statistical inference Bias Evaluation methods Boolean satisfiability problem Estimator Heuristic Mean squared error Bias of an estimator Statistics Information Theoretical computer science
662	Generalized Boolean Satisfiability II: ZAP Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-04-12 01:51:51 Boolean algebra GEC Minicomputers
663	Compilation of Planning to SAT Yiqiao Wang 1 Motivation Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-03-10 10:57:49 Logic in computer science Boolean algebra Constraint programming Electronic design automation Formal methods Boolean satisfiability problem Solver Satisfiability Davis–Putnam algorithm Theoretical computer science Mathematics Applied mathematics
664	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Logical syntax Formal languages Boolean algebra Well-formed formula Logical connective Logic Mathematical logic Propositional calculus
665	DEPARTMENT OF DEFENSE REQUIREMENTS FOR HIGH ORDER COMPUTER PROGRAMMING LANGUAGES ÒSTEELMANÓ Add to Reading List Source URL: www.adahome.com Language: English - Date: 1996-11-26 12:42:17 Type theory Primitive types Computer programming English grammar Shall and will Type system Programming language Constant Boolean data type Data types Software engineering Computing
666	Relational Dynamic Influence Diagram Language (RDDL): Language Description Scott Sanner () NICTA and the Australian National University Abstract The Relational Dynamic Influence Diagram Language (RDDL) i Add to Reading List Source URL: rddlsim.googlecode.com Language: English - Date: 2014-10-06 22:18:15 Automated planning and scheduling Planning Domain Definition Language Logic in computer science Semantics Boolean algebra Fluent Bernoulli distribution FO Function Mathematics Mathematical logic Theoretical computer science
667	A Probabilistic Boolean Logic and its Meaning Lakshmi N. B. Chakrapani , Krishna V. Palem* Department of Computer Science Rice University Houston, Texas, USA {chakra,palem}@rice.edu Add to Reading List Source URL: www.ece.rice.edu Language: English - Date: 2012-08-15 22:05:33 Boolean algebra Probabilistic logic PP Probability interpretations Probability Propositional calculus IP Boolean circuit FO Theoretical computer science Mathematical logic Mathematics
668	CS109A Notes for LectureThe Essence of Proof Mathematical proof is essentially persuasive prose. Like an essay, it is eective if it convinces the listener. Also like an essay, we can learn certain rhetorica Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:57:46 Propositional calculus Rules of inference Boolean algebra Modus ponens Truth table Contraposition Proof by contradiction Vacuous truth First-order logic Logic Mathematics Mathematical logic
669	Deriving Laws from Ordering Relations Kevin H. Knuth Computational Sci. Div., NASA Ames Research Ctr., M/S 269-3, Moffett Field CAAbstract. The effect of Richard T. Cox’s contribution to probability theory was t Add to Reading List Source URL: empslocal.ex.ac.uk Language: English - Date: 2005-10-25 03:31:02 Lattice theory Algebraic structures Order theory Distributive lattice Lattice Boolean algebra Distributivity Partially ordered set Distributive property Mathematics Abstract algebra Algebra
670	On Computing Belief Change Operations using Quantified Boolean Formulas∗ Torsten Schaub† Institut f¨ur Informatik Universit¨at Potsdam Postfach Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2004-08-04 13:44:38 Formal languages Model theory Propositional calculus Logic programming Interpretation Principia Mathematica Belief revision First-order logic Constructible universe Logic Mathematics Mathematical logic

UPDATE