7006 search results - page 334 / 1402 » Approximation Algorithms |
118
click to vote
JSC
2010
15 years 2 months ago
2010
In this paper we deal with the verification of safety properties of infinite-state systems modeled by term-rewriting systems. An over-approximation of the set of reachable terms...
124
click to vote
ICPR
2008
IEEE
16 years 5 months ago
2008
IEEE
Clustering time-series data poses problems, which do not exist in traditional clustering in Euclidean space. Specifically, cluster prototype needs to be calculated, where common s...
109
click to vote
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we present a novel framework for resampling and complexity reduction of tapped delay line channel models. In contrast to related algorithms in this field, our fram...
137
click to vote
ICASSP
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we propose a coding algorithm for raw images with high dynamic ranges. Our encoder has two layers. In the first layer, 24 bit low dynamic range image is encoded by...
112
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
– The paper deals with fitting of planar patches to 3D laser range data obtained by a mobile robot. The number and the initial position of the patches are unknown, hence their es...