4693 search results - page 556 / 939 » Verifying Hybrid Systems |
210
click to vote
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...
231
click to vote
HAIS
2011
Springer
14 years 10 months ago
2011
Springer
The modelling of real-world complex systems is an area of ongoing interest for the research community. Real-world systems present a variety of challenges not least of which is the ...
176
click to vote
MOBICOM
2006
ACM
16 years 27 days ago
2006
ACM
We propose novel solutions for unicast routing in wireless networks consisted of selfish terminals: in order to alleviate the inevitable over-payment problem (and thus economic i...
181
click to vote
DNIS
2005
Springer
16 years 14 days ago
2005
Springer
: A Peer-to-peer Data Network (PDN) is an open and evolving society of peer nodes that assemble into a network to share their data for mutual benefit. PDNs are enabled by distribu...
174
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...