3333 search results - page 223 / 667 » Abstract Proof Search |
178
click to vote
ACHI
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract—One of the first Multi-Language Information Retrieval (MLIR) systems was implemented in 1969 by Gerard Salton who enhanced his SMART system to retrieve multilingual doc...
137
click to vote
SODA
2004
ACM
15 years 6 months ago
2004
ACM
In this paper we study the problem of designing concurrent searchable data structures with performance guarantees that can be used in a distributed environment where data elements...
154
click to vote
CEC
2010
IEEE
15 years 6 months ago
2010
IEEE
In this paper we present a simple and general new No Free Lunch-like result that applies to revisiting algorithms searching arbitrary problem sets. We begin by unifying the assumpt...
142
click to vote
CC
2010
Springer
16 years 8 days ago
2010
Springer
Abstract. Following the translation validation approach to highassurance compilation, we describe a new algorithm for validating a posteriori the results of a run of register alloc...
105
click to vote
BIRTHDAY
2009
Springer
16 years 7 days ago
2009
Springer
Abstract. We investigate combinatorial commutation properties for reordering a sequence of two kinds of steps, and for separating wellfoundedness of unions of relations. To that en...