1775 search results - page 149 / 355 » Antichains on Three Levels |
115
click to vote
ASM
2010
ASM
15 years 5 months ago
2010
ASM
Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redundant state space exploration. In previous work, we...
104
click to vote
WSC
2007
15 years 4 months ago
2007
The Logistics Composite Model (LCOM) is a stochastic, discrete-event simulation that relies on probabilities and random number generators to model scenarios in a maintenance unit ...
136
click to vote
GECCO
2010
Springer
15 years 3 months ago
2010
Springer
Evolving multiple robots so that each robot acting independently can contribute to the maximization of a system level objective presents significant scientific challenges. For e...
108
Voted
EPEW
2006
Springer
15 years 3 months ago
2006
Springer
This paper discusses five different ways to approximate the loss rate in a fundamental two class priority system, where each class has its own finite capacity buffer, as well as an...
141
click to vote
DALT
2007
Springer
15 years 3 months ago
2007
Springer
Online dispute resolution is becoming the main method when dealing with a conflict in e-commerce. A family of defeasible reasoning patterns is used to provide a useful link betwee...