Sciweavers

4981 search results - page 160 / 997
» Dependent Gaussian Processes
Sort
View
ATAL
2008
Springer
15 years 6 months ago
Reinforcement learning for DEC-MDPs with changing action sets and partially ordered dependencies
Decentralized Markov decision processes are frequently used to model cooperative multi-agent systems. In this paper, we identify a subclass of general DEC-MDPs that features regul...
Thomas Gabel, Martin A. Riedmiller
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
15 years 2 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
CICLING
2011
Springer
14 years 8 months ago
Ranking Multilingual Documents Using Minimal Language Dependent Resources
This paper proposes an approach of extracting simple and effective features that enhances multilingual document ranking (MLDR). There is limited prior research on capturing the co...
G. S. K. Santosh, N. Kiran Kumar, Vasudeva Varma
CDC
2008
IEEE
110views Control Systems» more  CDC 2008»
15 years 11 months ago
Local mode dependent decentralized control of uncertain Markovian jump large-scale systems
Abstract— This paper is concerned with the robust stabilization of a class of stochastic large-scale systems. The uncertainties satisfy integral quadratic constraints. The random...
Junlin Xiong, Valery A. Ugrinovskii, Ian R. Peters...
IFL
2007
Springer
221views Formal Methods» more  IFL 2007»
15 years 10 months ago
From Contracts Towards Dependent Types: Proofs by Partial Evaluation
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky,...