4460 search results - page 830 / 892 » Formal methods for interactive systems |
JSSPP
2007
Springer
14 years 1 months ago
2007
Springer
Most space-sharing parallel computers presently operated by high-performance computing centers use batch-queuing systems to manage processor allocation. Because these machines are...
CVPR
2007
IEEE
14 years 9 months ago
2007
IEEE
This paper presents our progress on OpenVL - a novel software architecture to address efficiency through facilitating hardware acceleration, reusability and scalability for comput...
ECCV
2008
Springer
14 years 9 months ago
2008
Springer
Head pose estimation is an important task for many face analysis applications, such as face recognition systems and human computer interactions. In this paper we aim to address the...
ICIP
2003
IEEE
14 years 9 months ago
2003
IEEE
We present a hardware-accelerated method for video-based rendering relying on an approximate model of scene geometry. Our goal is to render high-quality views of the scene from ar...
VIS
2007
IEEE
14 years 9 months ago
2007
IEEE
We present a general framework for the modeling and optimization of scalable multi-projector displays. Based on this framework, we derive algorithms that can robustly optimize the ...