691 search results - page 96 / 139 » Automatically Proving Linearizability |
SIGSOFT
2006
ACM
14 years 4 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
IV
2005
IEEE
14 years 3 months ago
2005
IEEE
The problem of visualizing high dynamic range images on the devices with restricted dynamic range has recently gained a lot of interest in the computer graphics community. Various...
MM
2005
ACM
14 years 3 months ago
2005
ACM
The attentive region extraction is a challenging issue for semantic interpretation of image and video content. The successful attentive region extraction greatly facilitates image...
ICAPR
2005
Springer
14 years 3 months ago
2005
Springer
In this paper we present a technique for predicting the 2D human body joints and limbs position in monocular image sequences, and reconstructing its corresponding 3D postures using...
ISMIR
2005
Springer
14 years 3 months ago
2005
Springer
In this paper, we present the SyncPlayer system for multimodal presentation of high quality audio and associated music-related data. Using the SyncPlayer client interface, a user ...