8190 search results - page 378 / 1638 » From Timed to Hybrid Systems |
165
Voted
WORDS
2003
IEEE
16 years 4 days ago
2003
IEEE
Multicasting is an effective method to guarantee scalability of data transfer. Multicast applications range from the relief of Internet hot spots to healthcare alert systems. Much...
190
Voted
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
205
Voted
AH
2008
Springer
15 years 9 months ago
2008
Springer
This paper presents the methods used in a TV Recommender System that helps users in the difficult task of finding an interesting TV program from among the hundreds of channels that...
210
Voted
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The context-independent deep belief network (DBN) hidden Markov model (HMM) hybrid architecture has recently achieved promising results for phone recognition. In this work, we pro...
177
Voted
DCC
2008
IEEE
16 years 6 months ago
2008
IEEE
We studied the problem of distributed coding and transmission of intercorrelated sources with memory. Different from the conventional distributed source coding structure which rel...