Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,376,793 papers from all fields of science
Search
Sign In
Create Free Account
Standard Boolean model
The Boolean model of information retrieval (BIR) is a classical information retrieval (IR) model and, at the same time, the first and most adopted…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
Data retrieval
Disjunctive normal form
Hash table
Information retrieval
Expand
Broader (1)
Operations research
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers
Shuvendu K. Lahiri
,
S. Qadeer
,
Zvonimir Rakamaric
International Conference on Computer Aided…
2009
Corpus ID: 6438597
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts…
Expand
Review
2005
Review
2005
F-Soft: Software Verification Platform
Franjo Ivancic
,
Z. Yang
,
Malay K. Ganai
,
Aarti Gupta
,
I. Shlyakhter
,
P. Ashar
International Conference on Computer Aided…
2005
Corpus ID: 7051173
In this paper, we describe our verification tool F-Soft, which is developed for the analysis of C programs. Its novelty lies in…
Expand
2004
2004
Semantic Variation in Idiolect and Sociolect: Corpus Linguistic Evidence from Literary Texts
M. Louwerse
Computers and the Humanities
2004
Corpus ID: 417137
Idiolects are person-dependent similarities in language use. They imply that texts by one author show more similarities in…
Expand
Highly Cited
2000
Highly Cited
2000
Adding Relevance to XML
A. Theobald
,
G. Weikum
International Workshop on the Web and Databases
2000
Corpus ID: 1369664
XML query languages proposed so far are limited to Boolean retrieval in the sense that query results are sets of qualifying XML…
Expand
Highly Cited
2000
Highly Cited
2000
Additivity, Convexity, and Beyond: Applications of Minkowski Functionals in Statistical Physics
K. Mecke
2000
Corpus ID: 18961828
The aim of this paper is to point out the importance of geometric functionals in statistical physics. Integral geometry furnishes…
Expand
Highly Cited
1994
Highly Cited
1994
Properties of extended Boolean models in information retrieval
J. Lee
Annual International ACM SIGIR Conference on…
1994
Corpus ID: 7642946
The conventional boolean retrieval system does not provide ranked retrieval output because it cannot compute similarity…
Expand
Highly Cited
1994
Highly Cited
1994
Investigating aboutness axioms using information fields
P. Bruza
,
T. Huibers
Annual International ACM SIGIR Conference on…
1994
Corpus ID: 8796038
This article proposes a framework, a so called information field, which allows information retrieval mechanisms to be compared…
Expand
Highly Cited
1989
Highly Cited
1989
An information retrieval model based on modal logic
Jian-Yun Nie
Information Processing & Management
1989
Corpus ID: 31751769
Highly Cited
1983
Highly Cited
1983
Fuzzy Sets and Generalized Boolean Retrieval Systems
D. Kraft
,
D. Buell
Int. J. Man Mach. Stud.
1983
Corpus ID: 125575325
Highly Cited
1979
Highly Cited
1979
A mathematical model of a weighted boolean retrieval system
W. Waller
,
D. Kraft
Information Processing & Management
1979
Corpus ID: 22846130
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE