4693 search results - page 388 / 939 » Verifying Hybrid Systems |
184
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper proposes an automatic foreground segmentation system based on Gaussian mixture models and dynamic graph cut algorithm. An adaptive perpixel background model is develope...
172
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper studies performance of space-time coded (STC) systems with joint transmit and receive antenna selection over multiple input multiple output (MIMO) flat and frequenc...
191
click to vote
WIMOB
2007
IEEE
16 years 1 months ago
2007
IEEE
As part of the IEEE 802.16 protocol, the random access scheme is used for ranging. The ratio between the numbers of periodic ranging slots and data slots in the uplink subframe de...
189
click to vote
CAV
2005
Springer
16 years 10 days ago
2005
Springer
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...
173
click to vote
VMCAI
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...