613 search results - page 88 / 123 » The Image Computation Problem in Hybrid Systems Model Checki... |
MMM
2010
Springer
13 years 10 months ago
2010
Springer
: Networks and distributed computing systems are becoming increasingly important and at the same time, more and more critical to the world of Information Technology. This rash spre...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— In this paper, we present an image-based markerless human motion capture system, intended for humanoid robot systems. The restrictions set by this ambitious goal are nu...
CVPR
2011
IEEE
13 years 5 months ago
2011
IEEE
Current face image retrieval methods achieve impressive results, but lack efficient ways to refine the search, particularly for geometric face attributes. Users cannot easily ...
ICPP
2008
IEEE
14 years 3 months ago
2008
IEEE
—We address the recently recognized privatization problem in software transactional memory (STM) runtimes, and introduce the notion of partially visible reads (PVRs) to heuristic...
VR
2000
IEEE
14 years 1 months ago
2000
IEEE
Projection-based visual display systems are expected to be effective platforms for VR applications, in which the displayed images are generated by computer graphics using three-di...