789 search results - page 124 / 158 » Pushing using Compliance |
181
click to vote
EWSN
2011
Springer
14 years 4 months ago
2011
Springer
Sensornet protocols periodically broadcast beacons for neighborhood information advertisement, but beacon transmissions are costly when power-saving radio duty cycling mechanisms a...
143
click to vote
FGR
2011
IEEE
14 years 4 months ago
2011
IEEE
— This work details the authors’ efforts to push the baseline of expression recognition performance on a realistic database. Both subject-dependent and subject-independent emot...
127
click to vote
INFOCOM
2011
IEEE
14 years 4 months ago
2011
IEEE
Abstract—We study the challenging problem of strategic content placement in a dynamic MANET. Existing content placement techniques cannot cope with such network dynamics since th...
120
click to vote
CAV
2012
Springer
13 years 3 months ago
2012
Springer
A SAT-based incremental, inductive algorithm for model checking CTL properties is proposed. As in classic CTL model checking, the parse graph of the property shapes the analysis. H...
123
click to vote
AAAI
2008
15 years 3 months ago
2008
This paper studies commitments in multiagent systems. A dialectical commitment corresponds to an agent taking a position about a putative fact, including for the sake of argument....