Sciweavers

9730 search results - page 275 / 1946
» Relating models of backtracking
Sort
View
IVC
2007
72views more  IVC 2007»
15 years 4 months ago
A sensitivity analysis method and its application in physics-based nonrigid motion modeling
Parameters used in physical models for nonrigid and articulated motion analysis are often not known with high precision. It has been recognized that commonly used assumptions abou...
Yong Zhang, Dmitry B. Goldgof, Sudeep Sarkar, Leon...
IJAR
2010
91views more  IJAR 2010»
15 years 3 months ago
Inference and risk measurement with the pari-mutuel model
We explore generalizations of the pari-mutuel model (PMM), a formalization of an intuitive way of assessing an upper probability from a precise one. We discuss a naive extension o...
Renato Pelessoni, Paolo Vicig, Marco Zaffalon
ICCV
2011
IEEE
14 years 4 months ago
Building a better probabilistic model of images by factorization
We describe a directed bilinear model that learns higherorder groupings among features of natural images. The model represents images in terms of two sets of latent variables: one...
Jack Culpepper, Jascha Sohl-Dickstein, Bruno Olaha...
CAV
2012
Springer
222views Hardware» more  CAV 2012»
13 years 7 months ago
Leveraging Interpolant Strength in Model Checking
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
Simone Fulvio Rollini, Ondrej Sery, Natasha Sharyg...
CVPR
2012
IEEE
13 years 7 months ago
Fan Shape Model for object detection
We propose a novel shape model for object detection called Fan Shape Model (FSM). We model contour sample points as rays of final length emanating for a reference point. As in fo...
Xinggang Wang, Xiang Bai, Tianyang Ma, Wenyu Liu, ...