12981 search results - page 2057 / 2597 » Model Checking (Abstract) |
201
click to vote
CDC
2009
IEEE
16 years 4 days ago
2009
IEEE
Abstract— Q-learning is a technique used to compute an optimal policy for a controlled Markov chain based on observations of the system controlled using a non-optimal policy. It ...
224
Voted
CLUSTER
2009
IEEE
16 years 4 days ago
2009
IEEE
Abstract—Since the advent of multi-core processors, the physionomy of typical clusters has dramatically evolved. This new massively multi-core era is a major change in architectu...
217
Voted
ALDT
2009
Springer
16 years 2 days ago
2009
Springer
Abstract. We study a model in which a group of agents make a sequence of collective decisions on whether to remain in the current state of the system or switch to an alternative st...
228
Voted
HAID
2009
Springer
16 years 1 days ago
2009
Springer
Abstract. Haptic data visualization is a growing research area. It conveys information using the sense of touch which can help visually impaired people or be useful when other moda...
178
Voted
ICANN
2009
Springer
16 years 1 days ago
2009
Springer
Abstract. We investigate the computational capabilities of probabilistic cellular automata by means of the density classification problem. We find that a specific probabilistic ...