Sciweavers

2365 search results - page 197 / 473
» Computing a Representation of the Local Environment
Sort
View
FMCO
2004
Springer
157views Formal Methods» more  FMCO 2004»
15 years 12 months ago
MoMo: A Modal Logic for Reasoning About Mobility
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
Rocco De Nicola, Michele Loreti
CVPR
2007
IEEE
16 years 8 months ago
Learning GMRF Structures for Spatial Priors
The goal of this paper is to find sparse and representative spatial priors that can be applied to part-based object localization. Assuming a GMRF prior over part configurations, w...
Lie Gu, Eric P. Xing, Takeo Kanade
CVPR
2008
IEEE
16 years 8 months ago
Combining appearance models and Markov Random Fields for category level object segmentation
Object models based on bag-of-words representations can achieve state-of-the-art performance for image classification and object localization tasks. However, as they consider obje...
Diane Larlus, Frédéric Jurie
ICCV
2007
IEEE
16 years 8 months ago
No Grouping Left Behind: From Edges to Curve Fragments
We present a framework for extracting image contours based on geometric and structural consistency among edge element locations and orientations. The paper presents two contributi...
Amir Tamrakar, Benjamin B. Kimia
BMCBI
2002
131views more  BMCBI 2002»
15 years 6 months ago
Efficient Boolean implementation of universal sequence maps (bUSM)
Background: Recently, Almeida and Vinga offered a new approach for the representation of arbitrary discrete sequences, referred to as Universal Sequence Maps (USM), and discussed ...
John Schwacke, Jonas S. Almeida