1155 search results - page 25 / 231 » A Decision-Theoretic Model of Assistance |
ICRA
2005
IEEE
14 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...
CORR
2011
Springer
13 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,...
JAR
2008
13 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
14 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
14 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...