426 search results - page 47 / 86 » Possibilistic Stable Model Computing |
ICPR
2004
IEEE
14 years 11 months ago
2004
IEEE
Head Tracking and pose estimation are usually considered as two sequential and separate problems: pose is estimated on the head patch provided by a tracking module. However, preci...
VR
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper describes real-time volumetric haptic and visual algorithms developed to simulate burrhole creation for a Virtual Realitybased craniotomy surgical simulator. A modifie...
TROB
2002
13 years 9 months ago
2002
A patent pending, energy based, method is presented for controlling a haptic interface system to ensure stable contract under a wide variety of operating conditions. System stabil...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Autoepistemic logic extends propositional logic by the modal operator L. A formula that is preceded by an L is said to be "believed". The logic was introduced by Moore ...
QEST
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...