565 search results - page 86 / 113 » Stochastic modeling of a power-managed system: construction ... |
167
click to vote
PERCOM
2008
ACM
15 years 6 months ago
2008
ACM
In this paper, we introduce a randomized bit encoding scheme that can strengthen the privacy protection on RFID tags. This scheme is used together with the backward channel protec...
155
click to vote
ML
1998
ACM
15 years 5 months ago
1998
ACM
We review the application of statistical mechanics methods to the study of online learning of a drifting concept in the limit of large systems. The model where a feed-forward netwo...
194
click to vote
FM
2008
Springer
15 years 7 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
167
click to vote
ENTCS
2007
15 years 6 months ago
2007
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
134
click to vote
ATAL
2009
Springer
16 years 23 days ago
2009
Springer
Experimental analysis of agent strategies in multiagent systems presents a tradeoff between granularity and statistical confidence. Collecting a large amount of data about each s...