Sciweavers

287 search results - page 35 / 58
» Compositional Belief Update
Sort
View
JLP
2008
91views more  JLP 2008»
14 years 9 months ago
Local variable scoping and Kleene algebra with tests
We explore the power of relational semantics and equational reasoning in the style of Kleene algebra for analyzing programs with mutable, statically scoped local variables. We prov...
Kamal Aboul-Hosn, Dexter Kozen
CVPR
2008
IEEE
15 years 11 months ago
Stereo reconstruction with mixed pixels using adaptive over-segmentation
We present an over-segmentation based, dense stereo algorithm that jointly estimates segmentation and depth. For mixed pixels on segment boundaries, the algorithm computes foregro...
Yuichi Taguchi, Bennett Wilburn, C. Lawrence Zitni...
BIRTHDAY
2005
Springer
15 years 3 months ago
Objective Bayesian Nets
I present a formalism that combines two methodologies: objective Bayesianism and Bayesian nets. According to objective Bayesianism, an agent’s degrees of belief (i) ought to sat...
Jon Williamson
PKDD
2010
Springer
164views Data Mining» more  PKDD 2010»
14 years 7 months ago
Efficient Planning in Large POMDPs through Policy Graph Based Factorized Approximations
Partially observable Markov decision processes (POMDPs) are widely used for planning under uncertainty. In many applications, the huge size of the POMDP state space makes straightf...
Joni Pajarinen, Jaakko Peltonen, Ari Hottinen, Mik...
VR
2007
IEEE
143views Virtual Reality» more  VR 2007»
15 years 4 months ago
Multi-Frame Rate Rendering and Display
We introduce a new concept for improved interaction with complex scenes: multi-frame rate rendering and display. Multi-frame rate rendering produces a multi-frame rate display by ...
Jan P. Springer, Stephan Beck, Felix Weiszig, Dirk...