7943 search results - page 1215 / 1589 » A calculus for costed computations |
176
click to vote
ICALP
2007
Springer
16 years 1 months 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...
171
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
This paper discusses and compares several policies to place replicas in tree networks, subject to server capacity and QoS constraints. The client requests are known beforehand, wh...
222
Voted
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
Assimilation of spatially- and temporally-distributed state observations into simulations of dynamical systems stemming from discretized PDEs leads to inverse problems with high-di...
186
click to vote
ICIAR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper proposes a high-accuracy rotation estimation algorithm using 1D Phase-Only Correlation (POC). In general, the rotation angle between two images is estimated as...
209
click to vote
ICN
2007
Springer
16 years 1 months ago
2007
Springer
—Using Mobile Ad Hoc Networks (MANETs) for monitoring bovine animals potentially offers high increase in the profitability of cattle production. In this paper we propose a formal...