5180 search results - page 283 / 1036 » Concurrency, Time, and Constraints |
216
click to vote
ICCV
2009
IEEE
15 years 4 months ago
2009
IEEE
We propose a method for estimating the pose of a human body using its approximate 3D volume (visual hull) obtained in real time from synchronized videos. Our method can cope with ...
204
click to vote
WINE
2005
Springer
16 years 6 days ago
2005
Springer
We introduce a novel delay pricing and charging scheme in deadline-based networks to support real-time data delivery. We study the delay performance observed by individual users wh...
164
click to vote
FORMATS
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper presents a model-checking approach for analyzing discrete-time Markov reward models. For this purpose, the temporal logic probabilistic CTL is extended with re...
178
click to vote
FLOPS
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. Binding-time polymorphism enables a highly flexible bindingtime analysis for offline partial evaluation. This work provides the tools to translate this flexibility into...
192
click to vote
RTAS
2000
IEEE
15 years 11 months ago
2000
IEEE
—Many embedded systems operate under severe power and energy constraints. Voltage clock scaling is one mechanism by which energy consumption may be reduced: It is based on the fa...