Sciweavers

413 search results - page 23 / 83
» Lattice Boltzmann Method
Sort
View
ECCV
2008
Springer
14 years 10 months ago
Deformed Lattice Discovery Via Efficient Mean-Shift Belief Propagation
We introduce a novel framework for automatic detection of repeated patterns in real images. The novelty of our work is to formulate the extraction of an underlying deformed lattice...
Minwoo Park, Robert T. Collins, Yanxi Liu
ECAI
2004
Springer
14 years 1 months ago
Topological Visual Localization Using Decentralized Galois Lattices
Abstract. This paper presents a new decentralized method for selecting visual landmarks in a structured environment. Different images, issued from the different places, are analyze...
Emmanuel Zenou, Malik Ghallab, Manuel Samuelides
CVPR
2010
IEEE
14 years 1 months ago
"Lattice Cut" - Constructing superpixels using layer constraints
Unsupervised over-segmentation of an image into superpixels is a common preprocessing step for image parsing algorithms. Superpixels are used as both regions of support for featur...
Alastair Moore, Simon Prince
COMBINATORICS
2004
76views more  COMBINATORICS 2004»
13 years 8 months ago
Geometrically Constructed Bases for Homology of Partition Lattices
Abstract. We use the theory of hyperplane arrangements to construct natural bases for the homology of partition lattices of types A, B and D. This extends and explains the "sp...
Anders Björner, Michelle L. Wachs
NFM
2011
223views Formal Methods» more  NFM 2011»
13 years 3 months ago
opaal: A Lattice Model Checker
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
Andreas Engelbredt Dalsgaard, René Rydhof H...