Sciweavers

3047 search results - page 288 / 610
» A Temporal Consensus Model
Sort
View
IANDC
2006
117views more  IANDC 2006»
15 years 6 months ago
Statistical probabilistic model checking with a focus on time-bounded properties
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
Håkan L. S. Younes, Reid G. Simmons
AMAI
2002
Springer
15 years 6 months ago
Modeling Moving Objects over Multiple Granularities
This paper introduces a framework for modeling the movement of objects or individuals over multiple granularities. Granularity refers to selecting the appropriate level of detail ...
Kathleen Hornsby, Max J. Egenhofer
ICRA
2009
IEEE
125views Robotics» more  ICRA 2009»
15 years 4 months ago
Photometry-based visual servoing using light reflexion models
Abstract-- We present in this paper a way to achieve positioning tasks by visual servoing under complex luminance variations. To do that, we use as visual features the luminance of...
Christophe Collewet, Éric Marchand
CORR
2012
Springer
198views Education» more  CORR 2012»
14 years 2 months ago
Lipschitz Parametrization of Probabilistic Graphical Models
We show that the log-likelihood of several probabilistic graphical models is Lipschitz continuous with respect to the ￿p-norm of the parameters. We discuss several implications ...
Jean Honorio
CVPR
2005
IEEE
16 years 8 months ago
A Dynamic Conditional Random Field Model for Object Segmentation in Image Sequences
This paper presents a dynamic conditional random field (DCRF) model to integrate contextual constraints for object segmentation in image sequences. Spatial and temporal dependenci...
Qiang Ji, Yang Wang 0002