9405 search results - page 1518 / 1881 » Computing a Model of Set Theory |
190
click to vote
AIPS
2009
15 years 7 months ago
2009
We propose an online algorithm for planning under uncertainty in multi-agent settings modeled as DEC-POMDPs. The algorithm helps overcome the high computational complexity of solv...
185
Voted
EPEW
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. The adequate system performance is usually a critical requirement to be checked during the verification phase of a system. Thus, accurately measuring the performance of c...
176
click to vote
BIB
2010
15 years 6 months ago
2010
Dynamic molecular interactions play a central role in regulating the functioning of cells and organisms.The availability of experimentally determined large-scale cellular networks...
147
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
In this paper, the complex-step method is applied in the setting of numerical optimisation problems involving dynamical systems modelled as nonlinear differential equations. The m...
151
click to vote
IANDC
2008
15 years 6 months ago
2008
A variant of the Mobile Ambient calculus, called Boundary Ambients, is introduced, supporting the modelling of multi-level security policies. Ambients that may guarantee to proper...