804 search results - page 121 / 161 » On the Termination of the Chase Algorithm |
101
click to vote
PEPM
2000
ACM
15 years 4 months ago
2000
ACM
Many program optimisations and analyses, such as arraybound checking, termination analysis, etc, dependon knowing the size of a function's input and output. However, size inf...
130
Voted
ICASSP
2007
IEEE
15 years 2 months ago
2007
IEEE
Multi-reference frame motion estimation improves the accuracy of motion compensation in video coding. However, it also increases computational complexity dramatically. In this pap...
112
click to vote
BDA
2007
15 years 2 months ago
2007
The paper presents a complete framework for spatial indexing support in a distributed setting. We consider a shared-nothing environment where a set of servers provides independent...
92
Voted
VIIP
2001
15 years 2 months ago
2001
Closed streamlines are an integral part of vector field topology, since they behave like sources respectively sinks but are often neither considered nor detected. If a streamline ...
CORR
2006
Springer
15 years 22 days ago
2006
Springer
We pose and study the problem of Byzantine-robust topology discovery in an arbitrary asynchronous network. The problem straction of fault-tolerant routing. We formally state the we...