3965 search results - page 311 / 793 » Effectivity of Regular Spaces |
196
click to vote
PERVASIVE
2011
Springer
14 years 9 months ago
2011
Springer
Large public displays have become a regular conceptual element in many shops and businesses, where they advertise products or highlight upcoming events. In our work, we are interes...
244
click to vote
KDD
2012
ACM
13 years 9 months ago
2012
ACM
Digital storage of personal music collections and cloud-based music services (e.g. Pandora, Spotify) have fundamentally changed how music is consumed. In particular, automatically...
212
click to vote
TON
2012
13 years 9 months ago
2012
—While many attacks are distributed across botnets, investigators and network operators have recently identified malicious networks through high profile autonomous system (AS) ...
176
click to vote
MABS
2004
Springer
16 years 2 days ago
2004
Springer
Recent events have highlighted the importance of good models of crowds, however many existing crowd models are either computationally inefficient, or are missing a crucial human be...
178
click to vote
ICRE
1998
IEEE
15 years 11 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...