Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
611	DUTIR at the Session track in TREC 2011 Wenfei Liu, Hongfei Lin , Yunlong Ma, Tianshu Chang School of Computer Science and Technology, Dalian University of Technology, Dalian {wenfei.liu, kevinma, tianshuchang}@ma Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2012-03-08 09:34:55 Query expansion Relevance Web search query Discounted cumulative gain Search engine Web query classification Extended Boolean model Information science Information retrieval Relevance feedback
612	Chiron : Mechanizing Mathematics in OCaml By Hong Ni, B.Science Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2012-05-01 16:42:08 Structure Mathematical logic Formal methods Algebra Boolean algebra Chiron Logic Algorithm Module Mathematics Algebraic structures Theoretical computer science
613	Under consideration for publication in Math. Struct. in Comp. Science Applications and Extensions of Alloy: Past, Present, and Future E M I N A T O R L A K 1 , M A N A T A G H D I R I 2 , G R E G D E N N I S 3 and J O S Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Model checkers Logic in computer science Alloy Analyzer Massachusetts Institute of Technology Alloy NuSMV Formal verification First-order logic Boolean satisfiability problem Theoretical computer science Formal methods Applied mathematics
614	JAVA - QUICK GUIDE http://www.tutorialspoint.com/java/java_quick_guide.htm Copyright © tutorials point.com What is Java? Add to Reading List Source URL: www.tutorialspoint.com Language: English - Date: 2015-04-27 04:47:59 Boolean algebra Procedural programming languages Increment and decrement operators ?: Operand C Boolean data type State space Software engineering Computing Computer programming
615	Logic and Lattices for Distributed Programming Neil Conway William Marczak Peter Alvaro Joseph M. Hellerstein Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2012-06-22 16:27:05 Lattice theory Algebra Order theory Lattice Semilattice Class Boolean algebra Monotonic function Complete Heyting algebra Abstract algebra Mathematics Algebraic structures
616	Measuring Mutual Information in Random Boolean Networks Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:17 Cybernetics Applied mathematics Bioinformatics Boolean network Logic Mutual information Cellular automaton Entropy Edge of chaos Science Physics Information theory
617	MATRIX at the TREC 2005 Robust Track W.S. Wong 1, H. C. Wu1, R.W.P. Luk1, K.F. Wong 2, K.L. Kwok3, H.V. Leong 1 1 Department of Computing Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2006-02-21 09:28:37 Relevance feedback Query expansion Extended Boolean model Vector space model Relevance Precision and recall Text Retrieval Conference Ranking function Document retrieval Information science Information retrieval Science
618	Interval Analysis on Directed Acyclic Graphs for Global Optimization Hermann Schichl and Arnold Neumaier Institut f¨ ur Mathematik, Universit¨at Wien Strudlhofgasse 4, A-1090 Wien, Austria Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2003-12-05 12:03:46 Network flow Directed graph Local consistency Graph Flow network Multigraph Tree Boolean algebra Topological sorting Graph theory Constraint programming Directed acyclic graph
619	Report Writer Speedup Tips—Part One B y To m P u r n e l l Did you realize that how you write your report writer queries has a big impact on how fast they run? Most mainframe shops Add to Reading List Source URL: www.pacsys.com Language: English - Date: 2008-03-13 13:57:45 Procedural programming languages Cross-platform software C Boolean data type ALGOL 68 Test-driven development Computing Software engineering Software development
620	Minimising Decision Tree Size as Combinatorial Optimisation? Christian Bessiere1 , Emmanuel Hebrard2 , and Barry O’Sullivan2 1 LIRMM, Montpelier, France Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:30 Decision trees Constraint programming Boolean algebra Binary tree Decision tree learning Constraint satisfaction Decision tree model Boolean satisfiability problem B-tree Theoretical computer science Mathematics Applied mathematics

UPDATE