26602 search results - page 4958 / 5321 » A New Imaging Model |
211
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
190
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Intrusion detection systems have become a key component in ensuring the safety of systems and networks. As networks grow in size and speed continues to increase, it is crucial tha...
212
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
: Wireless sensor/actuator networks (WSANs) are emerging as a new generation of sensor networks. Serving as the backbone of control applications, WSANs will enable an unprecedented...
204
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic ...
183
click to vote
CPHYSICS
2008
15 years 7 months ago
2008
Abstract. Neutrino telescopes are opening new opportunities in observational high energy astrophysics. In these detectors, atmospheric muons from primary cosmic ray interactions in...