9842 search results - page 1814 / 1969 » The Complexity of the Matching-Cut Problem |
IPPS
2005
IEEE
14 years 3 months ago
2005
IEEE
Computational biology research is now faced with the burgeoning number of genome data. The rigorous postprocessing of this data requires an increased role for high performance com...
ISMAR
2005
IEEE
14 years 3 months ago
2005
IEEE
In our poster presentation at ISMAR’04 [11], we proposed the idea of an AR training solution including capture and 3D replays of subtle movements. The crucial part missing for r...
ISORC
2005
IEEE
14 years 3 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
ISQED
2005
IEEE
14 years 3 months ago
2005
IEEE
Abstract— Reliability enhancements are traditionally implemented through redundancies at the system level or through the use of harden-cell-designs at the circuit level. Reliabil...
ISWC
2005
IEEE
2005
IEEE
Using Ultrasonic Hand Tracking to Augment Motion Analysis Based Recognition of Manipulative Gestures
14 years 3 months ago
The paper demonstrates how ultrasonic hand tracking can be used to improve the performance of a wearable, accelerometer and gyroscope based activity recognition system. Specifica...