6618 search results - page 1099 / 1324 » Web Search Engines |
195
click to vote
ASM
2008
ASM
15 years 9 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...
192
click to vote
ASWC
2008
Springer
15 years 9 months ago
2008
Springer
Finding the justifications for an entailment (i.e., minimal sets of axioms responsible for it) is a prominent reasoning service in ontology engineering, as justifications facilitat...
203
click to vote
AUTONOMICS
2008
ACM
15 years 9 months ago
2008
ACM
In this paper we describe R-P2P, a novel system meant to support the search and retrieval of data in a given area. RP2P couples opportunistic wireless communications between mobil...
166
click to vote
EUROPAR
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. This paper proposes and presents a comparison of scheduling algorithms applied to the context of load balancing the query traffic on distributed inverted files. We put em...
187
click to vote
ALENEX
2007
15 years 8 months ago
2007
Inverted index data structures are the key to fast search engines. The predominant operation on inverted indices asks for intersecting two sorted lists of document IDs which might...