33 search results - page 3 / 7 » On Interpolation and Automatization for Frege Systems |
CVPR
2010
IEEE
14 years 3 months ago
2010
IEEE
We present a flexible method for fusing information from optical and range sensors based on an accelerated highdimensional filtering approach. Our system takes as input a sequen...
MICCAI
2010
Springer
13 years 6 months ago
2010
Springer
We present a fully automatic lung lobe segmentation algorithm that is effective in high resolution computed tomography (CT) datasets in the presence of confounding factors such as ...
TACAS
2010
Springer
13 years 5 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
CVPR
2001
IEEE
14 years 9 months ago
2001
IEEE
Relief mosaics are collections of registered images that extend traditional mosaics by supporting motion parallax. A simple parallax interpolation algorithm based on computed corr...
CVPR
2005
IEEE
14 years 9 months ago
2005
IEEE
Particle filtering provides a general framework for propagating probability density functions in non-linear and non-Gaussian systems. However, the algorithm is based on a Monte Ca...