Sciweavers

3378 search results - page 530 / 676
» A universe of binding and computation
Sort
View
HAPTICS
2005
IEEE
15 years 3 months ago
Using Collaborative Haptics in Remote Surgical Training
We describe the design and trial of a remotely conducted surgical master class, using a haptic virtual environment as an integral part of the learning process. In the trial, we li...
Chris Gunn, Matthew A. Hutchins, Duncan Stevenson,...
ICDAR
2005
IEEE
15 years 3 months ago
Tracking, Analysis, and Recognition of Human Gestures in Video
An overview of research in automated gesture spotting, tracking and recognition by the Image and Video Computing Group at Boston University is given. Approaches for localization a...
Stan Sclaroff, Margrit Betke, George Kollios, Jona...
ICRA
2005
IEEE
134views Robotics» more  ICRA 2005»
15 years 3 months ago
Robust Object Detection at Regions of Interest with an Application in Ball Recognition
— In this paper, we present a new combination of a biologically inspired attention system (VOCUS – Visual Object detection with a CompUtational attention System) with a robust ...
Sara Mitri, Simone Frintrop, Kai Pervölz, Har...
LICS
2005
IEEE
15 years 3 months ago
Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
Patrice Godefroid, Michael Huth
LICS
2005
IEEE
15 years 3 months ago
Proof-Theoretic Approach to Description-Logic
In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption pro...
Martin Hofmann