3047 search results - page 405 / 610 » A Temporal Consensus Model |
175
click to vote
REX
1991
15 years 10 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
171
click to vote
EWSN
2010
Springer
15 years 9 months ago
2010
Springer
On a common sensor node platform (Telos) we sample RSSI with high frequency during packet reception. We find that a packet collision (RF interference) often manifests as a measurab...
176
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Monitoring patients in intensive care units is a critical task. Simple condition detection is generally insufficient to diagnose a patient and may generate many false alarms to the...
161
click to vote
FAST
2007
15 years 7 months ago
2007
For five years, we collected annual snapshots of filesystem metadata from over 60,000 Windows PC file systems in a large corporation. In this paper, we use these snapshots to s...
142
click to vote
NIPS
2007
15 years 7 months ago
2007
Recent experimental studies have focused on the specialization of different neural structures for different types of instrumental behavior. Recent theoretical work has provided no...