3820 search results - page 434 / 764 » Bounded Model Debugging |
127
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The paper studies the visibility maintenance problem (VMP) for a leader-follower pair of robots modelled as first-order dynamic systems and proposes an original solution based on t...
143
click to vote
EOR
2008
15 years 3 months ago
2008
Our problem of interest consists of minimizing a separable, convex and differentiable function over a convex set, defined by bounds on the variables and an explicit constraint des...
122
click to vote
FUIN
2008
15 years 3 months ago
2008
Abstract. Most information systems that are driven by process models (e.g., workflow management systems) record events in event logs, also known as transaction logs or audit trails...
209
click to vote
COMCOM
2006
15 years 3 months ago
2006
Abstract--The proportional differentiation model is a newly introduced approach for differentiated services networks. This paper proposes and evaluates a scheduling mechanism for t...
109
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
The multi-armed bandit is a concise model for the problem of iterated decision-making under uncertainty. In each round, a gambler must pull one of K arms of a slot machine, withou...