1302 search results - page 121 / 261 » Fair Equivalence Relations |
141
click to vote
ESA
2004
Springer
15 years 11 months ago
2004
Springer
We propose the linear axis, a new skeleton for polygonal shapes. It is related to the medial axis and the straight skeleton, being the result of a wavefront propagation process. Th...
164
click to vote
ISAAC
2004
Springer
15 years 11 months ago
2004
Springer
The range minimum query problem, RMQ for short, is to preprocess a sequence of real numbers A[1 . . . n] for subsequent queries of the form: “Given indices i, j, what is the ind...
161
click to vote
SAIG
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Short cut fusion is a particular program transformation technique which uses a single, local transformation — called the foldr-build rule — to remove certain intermed...
178
click to vote
ER
2006
Springer
15 years 9 months ago
2006
Springer
Ontologies on the Semantic Web are by nature decentralized. From the body of ontology mapping approaches, we can draw a conclusion that an effective approach to automate ontology m...
158
click to vote
CAV
2001
Springer
15 years 9 months ago
2001
Springer
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...