4434 search results - page 321 / 887 » On the Composition of Hybrid Systems |
165
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...
161
click to vote
NOLISP
2007
Springer
16 years 25 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...
173
click to vote
ISCC
2006
IEEE
16 years 22 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...
189
click to vote
VTC
2006
IEEE
16 years 21 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,...
196
click to vote
ADBIS
2006
Springer
16 years 21 days ago
2006
Springer
Abstract. Huge amounts of digital visual content are currently available, thus placing a demand for advanced multimedia search engines. The contribution of this paper is the presen...