932 search results - page 89 / 187 » Verifying Progress in Timed Systems |
141
click to vote
CLEAR
2006
Springer
15 years 7 months ago
2006
Springer
The evaluation results of a system for tracking humans in surveillance videos are presented. Moving blobs are detected based on adaptive background modeling. A shape based multi-vi...
123
click to vote
TCOM
2010
14 years 10 months ago
2010
Abstract--For a multiple-input multiple-output (MIMO) system with more antennas at the receiver than the transmitter, selecting the same number of receiver antennas as the number o...
113
click to vote
GLVLSI
2007
IEEE
15 years 10 months ago
2007
IEEE
The path-delay fault simulation of functional tests on complex circuits such as current processor-based systems is a daunting task. The amount of computing power and memory needed...
142
click to vote
EDCC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The A3M project aimed to define basic building blocks of a middleware meeting both dependability and real-time requirements for a wide range of space systems and applicat...
136
click to vote
TWC
2008
15 years 3 months ago
2008
In this paper, a dynamic subcarrier and power allocation problem is considered in the context of asymptotic utility maximization in multi-carrier systems. Using the gradient-based...