2116 search results - page 224 / 424 » On Probabilistic Alternating Simulations |
186
click to vote
ALGOSENSORS
2004
Springer
15 years 9 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...
172
click to vote
CAV
2004
Springer
15 years 9 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...
165
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...
180
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...
135
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. ...