Sciweavers

294 search results - page 37 / 59
» Relational Modality
Sort
View
IPMI
2003
Springer
15 years 10 months ago
A Unified Statistical and Information Theoretic Framework for Multi-modal Image Registration
We formulate and interpret several registration methods in the context of a unified statistical and information theoretic framework. A unified interpretation clarifies the implici...
John W. Fisher III, Lilla Zöllei, William M. ...
IROS
2008
IEEE
91views Robotics» more  IROS 2008»
15 years 4 months ago
What do people expect from robots?
— The study presented in this paper explores people perception of robots, with a particular focus on domestic use. We addressed issues related to positive and negative attitudes ...
Céline Ray, Francesco Mondada, Roland Siegw...
HAPTICS
2006
IEEE
15 years 4 months ago
Force Feedback in a Three-Dimensional Ultrasound-Guided Surgical Task
Three-dimensional ultrasound (3D US) is a novel imaging modality that allows real time visualization of internal body structures such as the heart, even through visually opaque bl...
Christopher R. Wagner, Douglas P. Perrin, Robert D...
HAPTICS
2005
IEEE
15 years 3 months ago
A Haptic Enabled Multimodal Pre-operative Planner for Hip Arthroplasty
This paper introduces the Multisense idea, with a special reference to the use of Haptics in the medical field and, in particular, in the planning of total hip replacement surgery...
Silvano Imboden, Marco Petrone, Paolo Quadrani, Ci...
ICALP
2004
Springer
15 years 3 months ago
Model Checking with Multi-valued Logics
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...
Glenn Bruns, Patrice Godefroid