400 search results - page 5 / 80 » Moving Proofs-As-Programs into Practice |
ICRA
2003
IEEE
14 years 23 days ago
2003
IEEE
In this paper we present a probabilistic framework for the reduction in the uncertainty of a moving robot pose during exploration by using a second robot to assist. A Monte Carlo ...
JKM
2007
13 years 7 months ago
2007
Purpose – How companies can become better at knowing what they know, and share what they know have in recent years become dominant fields of research within knowledge managemen...
INFORMATICASI
2008
13 years 7 months ago
2008
EMMCVPR
2009
Springer
14 years 2 months ago
2009
Springer
Optimization with graph cuts became very popular in recent years. As more applications rely on graph cuts, different energy functions are being employed. Recent evaluation of optim...
PAMI
2010
13 years 5 months ago
2010
— In the last decade, graph-cut optimization has been popular for a variety of labeling problems. Typically graph-cut methods are used to incorporate smoothness constraints on a ...