2468 search results - page 392 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
148
Voted
TMI
1998
15 years 3 months ago
1998
— When performing dynamic studies using emission tomography the tracer distribution changes during acquisition of a single set of projections. This is particularly true for some ...
231
Voted
SPAA
2005
ACM
15 years 9 months ago
2005
ACM
The page migration problem is one of subproblems of data management in networks. It occurs in a distributed network of processors sharing one indivisible memory page of size D. Du...
144
Voted
AAMAS
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. As agents move into ever more important applications, there is a natural growth in interest in techniques for synthesizing multiagent systems. We describe an approach for...
130
click to vote
CDC
2009
IEEE
15 years 8 months 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 ...
157
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Our demo presents an agent-based intrusion detection system designed for deployment on high-speed backbone networks. The major contribution of the system is the integration of sev...