Sciweavers

1231 search results - page 126 / 247
» A Framework for Belief Update
Sort
View
104
Voted
LOGCOM
2007
79views more  LOGCOM 2007»
15 years 17 days ago
Goal Change in the Situation Calculus
Shapiro et al. [2005; 2006], presented a framework for representing goal change in the situation calculus. In that framework, agents adopt a goal when requested to do so (by some ...
Steven Shapiro, Yves Lespérance, Hector J. ...
90
Voted
ACCV
2010
Springer
14 years 7 months ago
Human Pose Estimation Using Exemplars and Part Based Refinement
In this paper, we proposed a fast and accurate human pose estimation framework that combines top-down and bottom-up methods. The framework consists of an initialization stage and a...
Yanchao Su, Haizhou Ai, Takayoshi Yamashita, Shiho...
POPL
2007
ACM
16 years 1 months ago
Program verification as probabilistic inference
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
Sumit Gulwani, Nebojsa Jojic
111
Voted
JSAC
2010
138views more  JSAC 2010»
14 years 11 months ago
Dynamic conjectures in random access networks using bio-inspired learning
—Inspired by the biological entities’ ability to achieve reciprocity in the course of evolution, this paper considers a conjecture-based distributed learning approach that enab...
Yi Su, Mihaela van der Schaar
CDC
2008
IEEE
150views Control Systems» more  CDC 2008»
15 years 7 months ago
Subgradient methods and consensus algorithms for solving convex optimization problems
— In this paper we propose a subgradient method for solving coupled optimization problems in a distributed way given restrictions on the communication topology. The iterative pro...
Björn Johansson, Tamás Keviczky, Mikae...