Boolean Model | Sciweavers

37

SPIN
2010
Springer

196views Theoretical Computer Science» more SPIN 2010»

Context-Bounded Translations for Concurrent Software: An Empirical Evaluation

13 years 11 months ago

Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for ﬁne-grained, shared-memory concurrent software. Two recent papers (in CAV 20...

Naghmeh Ghafari, Alan J. Hu, Zvonimir Rakamaric

claim paper

Read More »

44

click to vote

TREC
2003

131views Information Technology» more TREC 2003»

TREC12 HARD Track at ISCAS

14 years 1 months ago

Download trec.nist.gov

Statistical model in retrieval has been shown to perform well empirically. Extended Boolean model has been widely used in business system for its easiness to be complemented and n...

Zeng Wu, Lin Du, Le Sun, Shiwei Ye

claim paper

Read More »

29

click to vote

ICPR
2002
IEEE

98views computer vision» more ICPR 2002»

Texture Classification Based on the Boolean Model and its Application to Hep-2 Cells

15 years 1 months ago