Boolean

Results: 2137



#Item
141Computational complexity theory / Complexity classes / Theory of computation / FO / PSPACE / SO / P / EXPTIME / Boolean algebra / Co-NP-complete / Reduction / Descriptive complexity theory

Introduction & Motivation Relations and Operations Boolean and 3-element cases

Add to Reading List

Source URL: www.bedewell.com

Language: English - Date: 2009-08-14 00:50:42
142Computing / Data types / Primitive types / Character encoding / String / Value / Null / Hash function / Lightweight Directory Access Protocol / Boolean data type

KEK GRID CA Certificate and CRL Profile VerJanuary 9, 2014

Add to Reading List

Source URL: gridca.kek.jp

Language: English - Date: 2013-12-17 04:24:57
143Software engineering / Computer programming / Computing / Object-oriented programming / Class / Smalltalk / Metaclass / Closure / Self / Objective-C / This / Instance variable

The Joy of Smalltalk - Glossary  Ivan TomekAbstract class. A class that is never instantiated. Used to factor out properties shared by its subclasses. As an example, class Boolean is an abstract class with tw

Add to Reading List

Source URL: sdmeta.gforge.inria.fr

Language: English - Date: 2014-10-09 10:38:17
144Theoretical computer science / Mathematical logic / Mathematics / Logic in computer science / Boolean algebra / Logic programming / Automated planning and scheduling / Formal methods / Situation calculus / Planning Domain Definition Language / Boolean satisfiability problem / Conjunctive normal form

Learning Partially Observable Action Models: Efficient Algorithms Dafna Shahaf Allen Chang Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,achang6,eyal}@uiuc

Add to Reading List

Source URL: www.cs.huji.ac.il

Language: English - Date: 2010-08-28 23:41:19
145Computing / Data types / Primitive types / Software engineering / Character encoding / String / Value / Boolean data type / Null

KEK GRID CA Certificate and CRL Profile VerDecember 15, 2005

Add to Reading List

Source URL: gridca.kek.jp

Language: English - Date: 2006-02-10 03:18:44
146Data types / Software engineering / Boolean algebra / Computing / Boolean data type / Computer programming / Primitive data type / Boolean expression / Operator / Boolean / Relational operator / C

Introduction to Julia David Zeng Keegan Go Stephen Boyd

Add to Reading List

Source URL: stanford.edu

Language: English - Date: 2015-09-24 12:16:15
147Theoretical computer science / PP / Quantum complexity theory / Boolean algebra / Mathematics / Numerical software / Logic in computer science / Bayesian network / PROPT

Probabilistic Inference and Accuracy Guarantees Stefano Ermon CS Department, Stanford

Add to Reading List

Source URL: intelligence.org

Language: English - Date: 2016-06-01 20:00:33
148Logic / Mathematical logic / Semantics / Boolean algebra / Propositional calculus / Model theory / Truth table / Many-valued logic / Interpretation / Logical connective / ukasiewicz logic / Tautology

Microsoft Word - IBSAlgorithms.doc

Add to Reading List

Source URL: foibg.com

Language: English - Date: 2015-02-02 08:45:52
149Computing / Software engineering / Boolean algebra / HTML / HTML element / Cascading Style Sheets / Data type / Boolean data type

TMS SOFTWARE TMS FNC RichEditor DEVELOPERS GUIDE TMS FNC RichEditor DEVELOPERS GUIDE

Add to Reading List

Source URL: www.tmssoftware.biz

Language: English - Date: 2016-07-12 04:44:35
150Computing / Diagrams / Boolean algebra / Mathematics / Computer programming / Binary decision diagram / Model checking / External sorting / Computer cluster / Depth-first search

Parallel Disk-Based Computation for Large, Monolithic Binary Decision Diagrams Daniel Kunkle∗ Vlad Slavici

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2010-07-26 07:30:31
UPDATE