Sciweavers

2057 search results - page 151 / 412
» Quadratic placement using an improved timing model
Sort
View
FORMATS
2009
Springer
15 years 10 months ago
Stochastic Games for Verification of Probabilistic Timed Automata
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
Marta Z. Kwiatkowska, Gethin Norman, David Parker
ICIP
2006
IEEE
16 years 8 months ago
Fast Construction of Covariance Matrices for Arbitrary Size Image Windows
We propose an integral image based algorithm to extract feature covariance matrices of all possible rectangular regions within a given image. Covariance is an essential indicator ...
Fatih Porikli, Oncel Tuzel
RTCSA
2008
IEEE
16 years 27 days ago
Providing Memory QoS Guarantees for Real-Time Applications
Nowadays, systems often integrate a variety of applications whose service requirements are heterogeneous. Consequently, systems must be able to concurrently serve applications whi...
Audrey Marchand, Patricia Balbastre, Ismael Ripoll...
3DPH
2009
128views Healthcare» more  3DPH 2009»
15 years 7 months ago
Predicting Missing Markers in Real-Time Optical Motion Capture
Abstract. A common problem in optical motion capture of human-body movement is the so-called missing marker problem. The occlusion of markers can lead to significant problems in tr...
Tommaso Piazza, Johan Lundström, Andreas Kunz...
ARTQOS
2003
Springer
15 years 11 months ago
Calculating End-to-End Queuing Delay for Real-Time Services on an IP Network
A crucial factor for real-time (interactive) services is the end-to-end delay experienced by the application. The contribution resulting from the queuing delay induced by the netwo...
Robert E. Kooij, Olav N. Østerbø, J....