3818 search results - page 296 / 764 » Word Problems on Compressed Words |
184
click to vote
AICT
2006
IEEE
16 years 22 days ago
2006
IEEE
A peer-to-peer file sharing system includes a lookup and a content distribution protocol. Very efficient peer-to-peer protocols exist for content distribution, but efficient in...
175
click to vote
ICRA
2006
IEEE
16 years 21 days ago
2006
IEEE
— In this paper we address the problem of generating input plans to steer complex dynamical systems in an obstaclefree environment. Plans considered admit a finite description l...
248
click to vote
IEEECGIV
2005
IEEE
16 years 8 days ago
2005
IEEE
We use two fourth order geometric partial differential equations to efficiently solve several surface modelling problems, including the surface blending, the N-sided hole fillin...
136
click to vote
ATVA
2005
Springer
16 years 6 days ago
2005
Springer
Partitioned BDD-based algorithms have been proposed in the literature to solve the memory explosion problem in BDD-based verification. A naive parallelization of such algorithms ...
181
click to vote
CAIP
2005
Springer
16 years 6 days ago
2005
Springer
This paper presents a segmentation algorithm for gray-level images and addresses issues related to its performance on noisy images. It formulates an image segmentation problem as a...