Sciweavers

5718 search results - page 942 / 1144
» Modeling Rule Precision
Sort
View
ECCV
2010
Springer
16 years 1 days ago
Anisotropic Minimal Surfaces Integrating Photoconsistency and Normal Information for Multiview Stereo
Abstract. In this work the weighted minimal surface model traditionally used in multiview stereo is revisited. We propose to generalize the classical photoconsistency-weighted mini...
HAPTICS
2002
IEEE
15 years 12 months ago
The Role of Force Feedback in Surgery: Analysis of Blunt Dissection
Force feedback is widely assumed to enhance performance in robotic surgery, but its benefits have not yet been systematically assessed. In this study we examine the effects of for...
Christopher R. Wagner, Nicholas Stylopoulos, Rober...
ICRA
2002
IEEE
142views Robotics» more  ICRA 2002»
15 years 12 months ago
Hybrid Simultaneous Localization and Map Building: Closing the Loop with Multi-Hypotheses Tracking
In this paper simultaneous localization and map building is performed with a hybrid, metric - topological, approach. A global topological map connects local metric maps, allowing ...
Nicola Tomatis, Illah R. Nourbakhsh, Roland Siegwa...
ECOOP
2010
Springer
15 years 11 months ago
Correct Refactoring of Concurrent Java Code
Automated refactorings as implemented in modern IDEs for Java usually make no special provisions for concurrent code. Thus, refactored programs may exhibit unexpected new concurren...
Max Schäfer, Julian Dolby, Manu Sridharan, Em...
KR
2010
Springer
15 years 11 months ago
Multi-Agent Only-Knowing Revisited
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...
Vaishak Belle, Gerhard Lakemeyer