797 search results - page 6 / 160 » Observing Success in the Pi-Calculus |
TIT
2008
14 years 9 months ago
2008
Abstract--We investigate two closely related successive refinement (SR) coding problems: 1) In the hypothesis testing (HT) problem, bivariate hypothesis H0 : PXY against H1 : PXPY ...
AAAI
1998
14 years 11 months ago
1998
Research in belief revision has been dominated by work that lies firmly within the classic AGM paradigm, characterized by a well-known set of postulates governing the behavior of ...
ICRA
1995
IEEE
15 years 1 months ago
1995
IEEE
We introduce a technique for deiiecting moving objects from an image sequence obtained with a moving camera using the planarity constraint. To increase the robustness of this tech...
ICRA
2002
IEEE
15 years 2 months ago
2002
IEEE
We apply the auxiliary particle filter algorithm of Pitt and Shephard (1999) to the problem of robot localization. To deal with the high-dimensional sensor observations (images) ...
AIPS
2004
14 years 11 months ago
2004
We show that for conditional planning with partial observability the existence problem of plans with success probability 1 is 2-EXP-complete. This result completes the complexity ...