3333 search results - page 154 / 667 » Abstract Proof Search |
129
Voted
PARA
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper describe the implementation and underlying philosophie of a large scale distributed computation of K-optimal lattice rules. The computation is huge correspondi...
153
click to vote
PATAT
2000
Springer
15 years 7 months ago
2000
Springer
Abstract The Examination Timetabling problem regards the scheduling for the exams of a set of university courses, avoiding the overlapping of exams having students in common, fairl...
140
click to vote
BNCOD
2004
15 years 5 months ago
2004
Abstract. We present a new application for keyword search within relational databases, which uses a novel algorithm to solve the join discovery problem by finding Memex-like trails...
124
Voted
CLEF
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Most Information Retrieval models take documents as Bagof-Words and are thereby bound to the language of the documents. In this paper, we present an approach using Linked...
151
click to vote
ALGORITHMICA
2010
15 years 4 months ago
2010
Abstract. We consider the variant of the classical Stable Marriage problem where preference lists can be incomplete and may contain ties. In such a setting, finding a stable matchi...