Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
601	Fuzzy Proximity Ranking with Boolean Queries Annabelle Mercier and Michel Beigbeder ´ ´ Ecole Nationale Sup´erieure des Mines de Saint-Etienne Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2006-02-21 09:28:50 Precision and recall XML-Retrieval Document retrieval Proximity search Search engine indexing Query expansion Information science Information retrieval Gerard Salton
602	The Circuit-Input Game, Natural Proofs, and Testing Circuits With Data∗ Brynmor Chapman† Stanford University Add to Reading List Source URL: web.stanford.edu Language: English - Date: 2014-12-10 16:56:25 Complexity classes Circuit complexity Pseudorandomness Computability theory Advice Pseudorandom generator ACC0 Natural proof Boolean circuit Theoretical computer science Computational complexity theory Applied mathematics
603	Non-Linear Time Lower Bound for (Succinct) Quantified Boolean Formulas Ryan Williams∗ Carnegie Mellon University Abstract Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2008-04-30 19:50:48 Complexity classes True quantified Boolean formula Alternating Turing machine FO DTIME NTIME Time complexity SL Turing machine Theoretical computer science Computational complexity theory Applied mathematics
604	SoftCOM8th International Conference Software, Telecommunications and Computer Networks, Split, Croatia Add to Reading List Source URL: research.meolic.com Language: English - Date: 2013-12-04 04:28:48 Model checking Cryptography Boolean function Schedule Mathematics Information Data Boolean algebra Diagrams Binary decision diagram
605	A Characterization of Hard-threshold Boolean Functions Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-10-10 16:17:59 Algebraic topology Inner product space Exponentiation Sheaf Abstract algebra Algebra Mathematics
606	IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION 1 Reusing Building Blocks of Extracted Knowledge to Solve Complex, Large-Scale Boolean Problems Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2013-06-23 23:44:56 Learning Learning classifier system Statistical classification Genetic algorithm Classifier Supervised learning Reinforcement learning Binary classification Machine learning Statistics Artificial intelligence
607	ENGG1015: Homework 2 Dr. Kenneth Wong / Dr. Hayden So Due: 5pm, Nov 3, 2010 Turn in your homework at boxes outside Rm712, CYC Building Question 1 Add to Reading List Source URL: www.eee.hku.hk Language: English - Date: 2010-10-22 02:40:08 Boolean algebra Propositional calculus Functional analysis Algebraic logic Truth table Logic gate Convolution Image Function Mathematics Abstract algebra Mathematical logic
608	Microsoft PowerPoint - dod-sat-workshop.ppt [Compatibility Mode] Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2008-09-08 14:27:26 Mathematics Local consistency Constraint satisfaction Mathematical optimization Boolean satisfiability problem Belief propagation Bayesian network Graphical model Constraint optimization Constraint programming Theoretical computer science Software engineering
609	Workshop MATH THEIR WAY ® The most enjoyable, practical, influential, and enlightening hands-on workshop you can take to help you teach math for grades K-2! Prices Add to Reading List Source URL: www.center.edu Language: English - Date: 2013-07-02 18:21:35 Education reform Algebra Boolean algebra Propositional calculus National Council of Teachers of Mathematics Logical disjunction XTR IP Abstract algebra Mathematics Mathematics education
610	νZ - Maximal Satisfaction with Z3 Nikolaj Bjørner1 and Anh-Dung Phan2∗ 1 2 Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-10-16 19:21:04 Formal methods Constraint programming Electronic design automation Logic in computer science NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Linear programming Mathematical optimization Theoretical computer science Applied mathematics Mathematics

UPDATE