2116 search results - page 224 / 424 » On Probabilistic Alternating Simulations |
199
click to vote
ALGOSENSORS
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we introduce a dynamical model for wireless sensor networks. We obtain a convergent martingale for the broadcast process in such networks. To our knowledge, such mart...
179
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
175
click to vote
AISC
2008
Springer
15 years 8 months ago
2008
Springer
Grid computing offers a promising approach to solving challenging computational problems in an environment consisting of a large number of easily accessible resources. In this pape...
193
click to vote
ICONIP
2007
15 years 7 months ago
2007
We propose a technique to make a robot execute free and solitary dance movements on music, in a manner which simulates the dynamic alternations between synchronisation and autonomy...
143
click to vote
IJCAI
2007
15 years 7 months ago
2007
— Calibrating the parameters of an evolutionary algorithm (EA) is a laborious task. The highly stochastic nature of an EA typically leads to a high variance of the measurements. ...