1308 search results - page 143 / 262 » Bayesian Algorithmic Mechanism Design |
146
click to vote
ICFEM
2010
Springer
14 years 11 months ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
111
Voted
TISSEC
2008
15 years 17 days ago
2008
compromised sensor nodes. The framework provides an appropriate abstraction of applicationspecific detection mechanisms and models the unique properties of sensor networks. Based o...
106
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
We consider the problem of human-assisted graph search: given a directed acyclic graph with some (unknown) target node(s), we consider the problem of finding the target node(s) b...
121
Voted
SIGMOD
2010
ACM
15 years 26 days ago
2010
ACM
Radio Frequency Identification (RFID) technologies are used in many applications for data collection. However, raw RFID readings are usually of low quality and may contain many an...
150
click to vote
DAC
2003
ACM
16 years 1 months ago
2003
ACM
To save energy, many power management policies rely on issuing mode-change commands to the components of the system. Efforts to date have focused on how these policies interact wi...