144 search results - page 28 / 29 » A Markov Model for Multiagent Patrolling in Continuous Time |
CEEMAS
2005
Springer
13 years 11 months ago
2005
Springer
A honeybee colony has to choose among several nectar sources in the environment, each fluctuating in quality over time. Successful forager bees return to the hive and perform dance...
CVPR
2007
IEEE
14 years 8 months ago
2007
IEEE
The concept of the Bayesian optimal single threshold is a well established and widely used classification technique. In this paper, we prove that when spatial cohesion is assumed ...
ENTCS
2008
13 years 6 months ago
2008
Defining operational semantics for a process algebra is often based either on labeled transition systems that account for interaction with a context or on the so-called reduction ...
DAC
2005
ACM
14 years 7 months ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...
SIGMETRICS
2010
ACM
13 years 10 months ago
2010
ACM
We define CWS, a non-preemptive scheduling policy for workloads with correlated job sizes. CWS tackles the scheduling problem by inferring the expected sizes of upcoming jobs bas...