14190 search results - page 306 / 2838 » Abstractions for hybrid systems |
166
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
202
click to vote
ICIP
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a new hybrid image fusion scheme that combines features of pixel and region based fusion, to be integrated in a surveillance system. In such systems, objects c...
162
click to vote
NOLISP
2007
Springer
16 years 27 days ago
2007
Springer
This paper presents a hybrid technique combining the Karhonen-Loeve Transform (KLT), the Multilayer Perceptron (MLP) and Genetic Algorithms (GAs) to obtain less-variant Mel-freque...
174
click to vote
ISCC
2006
IEEE
16 years 24 days ago
2006
IEEE
P2P systems are increasingly used to discover and share various data between users. The performance of a P2P based information retrieval system is determined by the efficiency of...
190
click to vote
VTC
2006
IEEE
16 years 23 days ago
2006
IEEE
— The combination of space-time block codes (STBC) and spatial multiplexing (SM) schemes has the advantages of diversity gain and high data rate. For such STBC/SM hybrid systems,...