Sciweavers

9730 search results - page 192 / 1946
» Relating models of backtracking
Sort
View
JVCIR
2010
147views more  JVCIR 2010»
15 years 2 months ago
Modeling, classifying and annotating weakly annotated images using Bayesian network
We propose a probabilistic graphical model to represent weakly annotated images1 . This model is used to classify images and automatically extend existing annotations to new image...
Sabine Barrat, Salvatore Tabbone
ICCV
2009
IEEE
15 years 1 months ago
Segmentation, ordering and multi-object tracking using graphical models
In this paper, we propose a unified graphical-model framework to interpret a scene composed of multiple objects in monocular video sequences. Using a single pairwise Markov random...
Chaohui Wang, Martin de La Gorce, Nikos Paragios
134
Voted
FATES
2004
Springer
15 years 9 months ago
Using Model Checking for Reducing the Cost of Test Generation
This paper presents a method for reducing the cost of test generation. A spanning set for a coverage criterion is a set of entities such that exercising every entity in the spannin...
Hyoung Seok Hong, Hasan Ural
ECBS
2003
IEEE
145views Hardware» more  ECBS 2003»
15 years 9 months ago
Model Checking and Evidence Exploration
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
TREC
2007
15 years 5 months ago
University of Twente at the TREC 2007 Enterprise Track: Modeling Relevance Propagation for the Expert Search Task
This paper describes several approaches which we used for the expert search task of the TREC 2007 Enterprise track. We studied several methods of relevance propagation from docume...
Pavel Serdyukov, Henning Rode, Djoerd Hiemstra