Sciweavers

140 search results - page 11 / 28
» A Quantitative Model of Counterfactual Reasoning
Sort
View
CVPR
2006
IEEE
14 years 5 months ago
Measure Locally, Reason Globally: Occlusion-sensitive Articulated Pose Estimation
Part-based tree-structured models have been widely used for 2D articulated human pose-estimation. These approaches admit efficient inference algorithms while capturing the import...
Leonid Sigal, Michael J. Black
SERA
2005
Springer
14 years 4 months ago
A Comparative Evaluation of Query Modeling Cost of SQL/MDR
This paper shows the feasibility of SQL/MDR development. Previous approach has several problems such as complicated exchanging mechanism, dependent description to local MDR system...
Dongwon Jeong, Hoh Peter In, Lee-Sub Lee
KR
1994
Springer
14 years 3 months ago
Toward a Logic for Qualitative Decision Theory
We present a logic for representing and reasoning with qualitative statements of preference and normality and describe how these may interact in decision making under uncertainty....
Craig Boutilier
FSTTCS
2006
Springer
14 years 2 months ago
On Reduction Criteria for Probabilistic Reward Models
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...
Marcus Größer, Gethin Norman, Christel ...
QEST
2007
IEEE
14 years 5 months ago
Stochastic Game Logic
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
Christel Baier, Tomás Brázdil, Marcu...