10435 search results - page 1902 / 2087 » Computational Biology and Language |
163
click to vote
FROCOS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Innermost context-sensitive rewriting has been proved useful for modeling computations of programs of algebraic languages like Maude, OBJ, etc. Furthermore, innermost ter...
177
click to vote
ICALP
2007
Springer
16 years 23 days ago
2007
Springer
A spanner of an undirected unweighted graph is a subgraph that approximates the distance metric of the original graph with some specified accuracy. Specifically, we say H ⊆ G i...
173
click to vote
ICALP
2007
Springer
16 years 23 days ago
2007
Springer
We present lower bounds on the space required to estimate the quantiles of a stream of numerical values. Quantile estimation is perhaps the most studied problem in the data stream ...
170
click to vote
ICALP
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. The edit distance between two ordered rooted trees with vertex labels is the minimum cost of transforming one tree into the other by a sequence of elementary operations c...
143
click to vote
ICALP
2007
Springer
16 years 23 days ago
2007
Springer
Register allocation is NP-complete in general but can be solved in linear time for straight-line programs where each variable has at most one definition point if the bank of regis...