5 search results - page 1 / 1 » Online inference and enforcement of temporal properties |
ICSE
2010
IEEE-ACM
13 years 9 months ago
2010
IEEE-ACM
NIPS
2004
13 years 6 months ago
2004
We propose a new interpretation of spiking neurons as Bayesian integrators accumulating evidence over time about events in the external world or the body, and communicating to oth...
SIGCOMM
2009
ACM
13 years 11 months ago
2009
ACM
Most of the existing literature on empirical studies of Online Social Networks (OSNs) have focused on characterizing and modeling the structure of their inferred friendship graphs...
INFOCOM
2006
IEEE
13 years 10 months ago
2006
IEEE
— A key function for network traffic monitoring and analysis is the ability to perform aggregate queries over multiple data streams. Change detection is an important primitive w...
POPL
2005
ACM
14 years 5 months ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...