589 search results - page 97 / 118 » Accurate Dependability Analysis of CAN-Based Networked Syste... |
115
click to vote
CCR
2004
15 years 1 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
128
click to vote
TIT
2002
15 years 1 months ago
2002
Generalization bounds depending on the margin of a classifier are a relatively recent development. They provide an explanation of the performance of state-of-the-art learning syste...
124
click to vote
INFOCOM
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper describes a control mechanism for a future Internet. It is an economic mechanism that enables users to choose different pairs of price/QoS priority levels for network se...
146
click to vote
NN
2010
Springer
15 years 9 days ago
2010
Springer
This study shows that a mixture of RNN experts model can acquire the ability to generate sequences that are combination of multiple primitive patterns by means of self-organizing ...
137
click to vote
KDD
2012
ACM
13 years 4 months ago
2012
ACM
Interdisciplinary collaborations have generated huge impact to society. However, it is often hard for researchers to establish such cross-domain collaborations. What are the patte...