1155 search results - page 25 / 231 » A Decision-Theoretic Model of Assistance |
ICRA
2005
IEEE
15 years 3 months ago
2005
IEEE
— It has been demonstrated in a number of robotic areas how the use of virtual fixtures improves task performance both in terms of execution time and overall precision, [1]. How...
103
click to vote
CORR
2011
Springer
14 years 1 months ago
2011
Springer
—Inexpensive RGB-D cameras that give an RGB image together with depth data have become widely available. We use this data to build 3D point clouds of a full scene. In this paper,...
118
click to vote
JAR
2008
14 years 9 months ago
2008
This article presents the formal verification, using the Coq proof assistant, of a memory model for low-level imperative languages such as C and compiler intermediate languages. Be...
ICCV
2007
IEEE
15 years 11 months ago
2007
IEEE
An interactive human segmentation approach is described. Given regions of interest provided by users, the approach iteratively estimates segmentation via a generalized EM algorith...
AIMSA
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. Spoken audio is an important source of information available to knowledge extraction and management systems. Organization of spoken messages by priority and content can f...