119
Voted
SPIN
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
129
Voted
TREC
2003
15 years 4 months ago
2003
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...
85
Voted
ICPR
2002
IEEE
16 years 3 months ago
2002
IEEE
