Sciweavers

4066 search results - page 164 / 814
» Almost Complete Sets
Sort
View
AMAI
2006
Springer
15 years 6 months ago
Strong and uniform equivalence of nonmonotonic theories - an algebraic approach
We show that the concepts of strong and uniform equivalence of logic programs eneralized to an abstract algebraic setting of operators on complete lattices. Our results imply char...
Miroslaw Truszczynski
CVPR
2001
IEEE
16 years 8 months ago
3D Object Recognition from Range Images using Local Feature Histograms
This paper explores a view-based approach to recognize free-form objects in range images. We are using a set of local features that are easy to calculate and robust to partial occ...
Bastian Leibe, Bernt Schiele, Günter Hetzel, ...
ICIP
2008
IEEE
16 years 8 months ago
MPEG video object segmentation under camera motion and multimodal backgrounds
This paper starts from a state-of-the-art efficient approach to real-time video object segmentation in the MPEG domain. It then describes several techniques to extend the algorith...
Marcos Escudero, Fabricio Tiburzi, Jesús Be...
ICIP
2007
IEEE
16 years 8 months ago
Globally Optimal Multimodal Rigid Registration: An Analytic Solution using Edge Information
Current multimodal registration methods almost always rely on local gradient-descent type optimization strategies. Such registration methods often converge to an incorrect local o...
Jeff Orchard
PADL
2009
Springer
16 years 7 months ago
Using Bloom Filters for Large Scale Gene Sequence Analysis in Haskell
Analysis of biological data often involves large data sets and computationally expensive algorithms. Databases of biological data continue to grow, leading to an increasing demand ...
Ketil Malde, Bryan O'Sullivan