4693 search results - page 101 / 939 » Verifying Hybrid Systems |
VTC
2006
IEEE
15 years 6 months ago
2006
IEEE
—In this paper, a novel hybrid ARQ scheme based on shift column permutation bit interleaving is proposed for OFDM systems. When a packet is requested for retransmission, we can u...
88
Voted
HYBRID
2005
Springer
15 years 6 months ago
2005
Springer
Under standard Lipschitz conditions, trajectories of systems described by ordinary differential equations are well defined in both forward and reverse time. (The flow map is inv...
131
Voted
NBIS
2010
Springer
14 years 10 months ago
2010
Springer
A new ontology-supported and hybrid recommending information system for scholars was proposed. Not only can it fast integrate specific domain documents, but also it can extract imp...
ICIP
1999
IEEE
16 years 2 months ago
1999
IEEE
A dedicated hardware system is developed for a recent class of nonlinear hybrid filters called Order StatisticsRational Hybrid Filters (OSRHF). The performance of these filters is...
102
click to vote
HYBRID
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...