2468 search results - page 392 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
183
click to vote
TMI
1998
15 years 6 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 ...
262
click to vote
SPAA
2005
ACM
15 years 12 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...
194
click to vote
AAMAS
2000
Springer
15 years 6 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...
168
click to vote
CDC
2009
IEEE
15 years 11 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 ...
195
click to vote
ATAL
2008
Springer
15 years 8 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...