2015 search results - page 19 / 403 » Some Observations on Indifferentiability |
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
As the Internet has become a communication infrastructure, inter-domain routing instabilities have become prone to serious problems. Some studies have proposed methods that infer i...
ATAL
2007
Springer
14 years 5 months ago
2007
Springer
We present a powerful new account of multi-agent knowledge in the situation calculus and an effective reasoning procedure for handling knowledge queries. Our approach generalizes...
CDC
2009
IEEE
14 years 3 months ago
2009
IEEE
— This paper proposes a multiple-model adaptive control methodology, using set-valued observers (MMAC-SVO) for the identification subsystem, that is able to provide robust stabi...
ECML
2005
Springer
14 years 4 months ago
2005
Springer
This paper examines the problem of finding an optimal policy for a Partially Observable Markov Decision Process (POMDP) when the model is not known or is only poorly specified. W...
FORMATS
2007
Springer
14 years 2 months ago
2007
Springer
In this paper, we review some recent results on the efficient synthesis of controllers for timed systems. We first recall the basics of controller synthesis for timed games and the...