4520 search results - page 331 / 904 » Algebraic Techniques for Timed Systems |
168
Voted
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
– Minimally invasive surgery (MIS) has become an important technique in practical surgical procedures. Compared with manually operated MIS procedures, surgical robot systems prov...
166
Voted
COMPSAC
2005
IEEE
16 years 1 months ago
2005
IEEE
The use of several distinct recovery procedures is one of the techniques that can be used to ensure high availability and fault-tolerance of computer systems. This method has been...
173
click to vote
ICMCS
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper describes an audio retrieval system,Quebex,that works on raw audio data. The system is able to retrieve songs that are rhythmically and timbrewise similar from a databa...
195
click to vote
ISMAR
2003
IEEE
2003
IEEE
A Wearable Augmented Reality System for Navigation Using Positioning Infrastructures and a Pedometer
16 years 23 days ago
This paper describes a wearable annotation overlay system using augmented reality (AR) techniques. To realize AR systems, the position and orientation of user’s viewpoint should...
183
click to vote
RE
2001
Springer
15 years 12 months ago
2001
Springer
Today's requirements engineering approaches focus on notation and techniques for modeling the intended functionality and qualities of a software system. Little attention has ...