1514 search results - page 217 / 303 » Best-Order Streaming Model |
120
Voted
RTSS
2005
IEEE
15 years 7 months ago
2005
IEEE
Resource reservation has been recently supported by many real-time operating systems to provide applications with guaranteed and timely access to system resources. Typically, rese...
115
click to vote
ICIP
2002
IEEE
16 years 3 months ago
2002
IEEE
Compared to a geometric approach, image based rendering applied to 3D view reconstruction doesn't require 3D model construction and doesn't depend on the complexity of t...
124
click to vote
ICPR
2006
IEEE
16 years 3 months ago
2006
IEEE
This paper presents a method for real-time 3D hand tracking in images acquired by a calibrated, possibly moving stereoscopic rig. The proposed method consists of a collection of t...
104
click to vote
ICIP
2009
IEEE
16 years 3 months ago
2009
IEEE
We have established a novel control system for combining the parallel execution of deterministic and non-deterministic medical imaging applications on a single platform, sharing t...
122
click to vote
CADE
2007
Springer
16 years 2 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...