24 search results - page 2 / 5 » Calendar of Events |
FORMATS
2004
Springer
13 years 9 months ago
2004
Springer
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
MASS
2010
13 years 3 months ago
2010
This paper presents our work in solving one of the weakest links in 802.11-based indoor-localization: the training of ground-truth received signal strength data. While crowdsourcin...
CHI
2002
ACM
14 years 5 months ago
2002
ACM
In this paper, we present SpiraClock, a new visualization technique for nearby events. SpiraClock fills a gap between static calendar displays and pop-up reminders by giving the u...
SIGMOD
2008
ACM
14 years 5 months ago
2008
ACM
The Cascadia system provides RFID-based pervasive computing applications with an infrastructure for specifying, extracting and managing meaningful high-level events from raw RFID ...
KDD
2012
ACM
11 years 7 months ago
2012
ACM
Tweets are the most up-to-date and inclusive stream of information and commentary on current events, but they are also fragmented and noisy, motivating the need for systems that c...