Boolean

Results: 2137



#Item
571Relevance feedback / Tf*idf / Document retrieval / Proximity search / Search engine indexing / Gerard Salton / Fuzzy retrieval / Query expansion / Information science / Information retrieval / Extended Boolean model

Fuzzy term proximity with boolean queries at 2006 TREC Terabyte task Annabelle MERCIER and Michel BEIGBEDER Ecole Nationale Superieure des Mines de Saint Etienne (ENSM-SE) 158 cours FaurielSaint Etienne Cedex 2 FR

Add to Reading List

Source URL: trec.nist.gov

Language: English - Date: 2007-02-16 13:07:40
572Geometric topology / Surfaces / Differential topology / 3-manifolds / Manifold / Computational topology / Triangulation / Normal surface / Boolean satisfiability problem / Topology / Geometry / Mathematics

On the Complexity of Immersed Normal Surfaces Benjamin A. Burton∗ ´ Eric Colin de Verdi`ere†

Add to Reading List

Source URL: www.di.ens.fr

Language: English - Date: 2014-02-07 07:27:37
573Constraint programming / Logic in computer science / NP-complete problems / Boolean algebra / Boolean satisfiability problem / Electronic design automation / Satisfiability / NP-complete / Model checking / Theoretical computer science / Applied mathematics / Computational complexity theory

Scheduling and SAT Emmanuel Hebrard Toulouse Outline

Add to Reading List

Source URL: homepages.laas.fr

Language: English - Date: 2014-02-17 02:59:42
574Information science / Information retrieval / Web search engine

Help Documents Boolean Searching In TempWorks Enterprise resumes can be stored and presented to Prospects and Customer. Resumes can also be searched using Key Word or Boolean searching methods. This document details the

Add to Reading List

Source URL: www.tempworks.com

Language: English - Date: 2015-03-16 16:27:36
575Algebraic structures / Algebraic logic / Boolean algebra / Differential equation / Universal algebra / Unification / Variety / Boolean algebras canonically defined / Heyting algebra / Mathematics / Abstract algebra / Algebra

JanuaryStanford Verification Group Report No. 15

Add to Reading List

Source URL: rewriting.loria.fr

Language: English - Date: 2005-01-06 03:20:52
576Systems biology / Networks / Bioinformatics / Gene expression / Gene regulatory network / Mathematical and theoretical biology / Genetic algorithm / Boolean network / Science / Biology / Applied mathematics

Testing Hypotheses on Genetic Network Structures Minimal Requirements for an Experimental Design Dirk Repsilber Hans Liljenström

Add to Reading List

Source URL: icsb-2001.org

Language: English - Date: 2001-12-04 14:14:39
577Cross-platform software / Subroutines / Conditional / Main function / Boolean data type / C / Java / Computing / Software engineering / Computer programming

JAVA - DECISION MAKING http://www.tutorialspoint.com/java/java_decision_making.htm Copyright © tutorials point.com There are t wo t ypes of decision making st at ement s in Java. They are:

Add to Reading List

Source URL: www.tutorialspoint.com

Language: English - Date: 2015-04-27 04:48:26
578Graph theory / Probability theory / Belief propagation / Coding theory / Factor graph / Independence / Boolean satisfiability problem / Theoretical computer science / Graphical models / Mathematics

—PREPRINT— Cooled and Relaxed Survey Propagation for MRFs Hai Leong Chieu1,2 , Wee Sun Lee2 1

Add to Reading List

Source URL: www.comp.nus.edu.sg

Language: English - Date: 2007-10-02 20:48:46
579Operations research / NP-complete problems / Search algorithms / Analysis of algorithms / Boolean satisfiability problem / Backtracking / Algorithm / PP / Time complexity / Theoretical computer science / Applied mathematics / Computational complexity theory

16th Canadian Conference on Computational Geometry, 2004 An Average Running Time Analysis of a Backtracking Algorithm to Calculate the Measure of the Union of Hyperrectangles in Dimensions Susumu Suzuki 

Add to Reading List

Source URL: www.cccg.ca

Language: English - Date: 2004-08-23 15:27:23
580Boolean algebra / Algebra / Diagrams / Karnaugh map / Logic in computer science / Algebraic logic / Mathematical logic / Mathematics

KMAP3 is a very powerful Boolean calculator is a very powerful tool for evaluating, calculating of Boolean Algebra expressions. The best Boolean calculator on internet ! Even wolframalpha.com does not have such powerful

Add to Reading List

Source URL: omidmotahed.com

Language: English - Date: 2015-02-15 00:54:58
UPDATE