1623 search results - page 79 / 325 » No Sorting |
115
Voted
ICALP
2010
Springer
15 years 2 months ago
2010
Springer
JDA
2010
15 years 2 months ago
2010
121
Voted
RECOMB
2010
Springer
15 years 2 months ago
2010
Springer
158
Voted
SPIRE
2010
Springer
15 years 2 months ago
2010
Springer
Several IR tasks rely, to achieve high efficiency, on a single pervasive data structure called the inverted index. This is a mapping from the terms in a text collection to the docu...
146
click to vote
WRLA
2010
15 years 2 months ago
2010
For a rewrite theory to be executable, its equations E should be (ground) confluent and terminating modulo the given axioms A, and their rules should be (ground) coherent with E m...