Sciweavers

1095 search results - page 130 / 219
» Modeling High-Order Dependencies in Local Appearance Models
Sort
View
ATAL
2008
Springer
15 years 6 months ago
Multi-robot Markov random fields
We propose Markov random fields (MRFs) as a probabilistic mathematical model for unifying approaches to multi-robot coordination or, more specifically, distributed action selectio...
Jesse Butterfield, Odest Chadwicke Jenkins, Brian ...
FOSSACS
2005
Springer
15 years 10 months ago
From Separation Logic to First-Order Logic
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
Cristiano Calcagno, Philippa Gardner, Matthew Hagu...
TIP
2010
108views more  TIP 2010»
15 years 3 months ago
Image Reconstruction Using Particle Filters and Multiple Hypotheses Testing
Abstract—In this paper, we introduce a reconstruction framework that explicitly accounts for image geometry when defining the spatial interaction between pixels in the filterin...
Noura Azzabou, Nikos Paragios, Frederic Guichard
CVPR
2009
IEEE
1848views Computer Vision» more  CVPR 2009»
16 years 10 months ago
Moving Cast Shadow Detection using Physics-based Features
Cast shadows induced by moving objects often cause serious problems to many vision applications. We present in this paper an online statistical learning approach to model the backg...
Jia-Bin Huang and Chu-Song Chen
PG
2003
IEEE
15 years 10 months ago
Hierarchical Least Squares Conformal Map
A texture atlas is an efficient way to represent information (like colors, normals, displacement maps ...) on triangulated surfaces. The LSCM method (Least Squares Conformal Maps...
Nicolas Ray, Bruno Lévy