2838 search results - page 509 / 568 » Verifying Controlled Components |
IEEECIT
2010
IEEE
13 years 7 months ago
2010
IEEE
—The complexity of modern networked information systems, as well as all the defense-in-depth best practices, require distributed intrusion detection architectures relying on the ...
JSAC
2010
13 years 7 months ago
2010
—Wireless Multimedia Sensor Networks (WMSNs) are distributed systems of wirelessly networked devices that allow retrieving video and audio streams, still images, and scalar senso...
NN
2010
Springer
13 years 7 months ago
2010
Springer
We present a model-free reinforcement learning method for partially observable Markov decision problems. Our method estimates a likelihood gradient by sampling directly in paramet...
PERCOM
2010
ACM
13 years 7 months ago
2010
ACM
—This paper introduces a new software development platform specifically designed for wireless health applications. Wireless health applications follow a unique paradigm encompas...
PVLDB
2010
13 years 7 months ago
2010
The identification of clusters, well-connected components in a graph, is useful in many applications from biological function prediction to social community detection. However, ...