1452 search results - page 135 / 291 » Algorithmic Analysis of Array-Accessing Programs |
139
Voted
ICALP
1994
Springer
15 years 4 months ago
1994
Springer
A hash table is a representation of a set in a linear size data structure that supports constanttime membership queries. We show how to construct a hash table for any given set of...
89
Voted
ESOP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We present a generic algorithm for solving Horn clauses through iterative specialisation. The algorithm is generic in the sense that it can be instantiated with any decid...
103
Voted
ICALP
2009
Springer
16 years 26 days ago
2009
Springer
We examine several online matching problems, with applications to Internet advertising reservation systems. Consider an edge-weighted bipartite graph G, with partite sets L, R. We...
111
Voted
BMCBI
2010
15 years 21 days ago
2010
Background: The information provided by dense genome-wide markers using high throughput technology is of considerable potential in human disease studies and livestock breeding pro...
71
Voted
TCBB
2010
14 years 11 months ago
2010
— Analysis of conformational changes is one of the keys to the understanding of protein functions and interactions. For the analysis, we often compare two protein structures, tak...