Sciweavers

1190 search results - page 123 / 238
» The Continuing Quest for Abstraction
Sort
View
CORR
2006
Springer
154views Education» more  CORR 2006»
13 years 9 months ago
Functional Bregman Divergence and Bayesian Estimation of Distributions
Abstract--A class of distortions termed functional Bregman divergences is defined, which includes squared error and relative entropy. A functional Bregman divergence acts on functi...
B. A. Frigyik, Santosh Srivastava, Maya R. Gupta
JLP
2006
56views more  JLP 2006»
13 years 9 months ago
Linearization of hybrid processes
We present an algorithm for the linearization of hybrid processes modeled in hybrid process algebra (HyPA) and prove its correctness. HyPA is a formalism that is suitable for the ...
P. C. W. den Brand van, Michel A. Reniers, Pieter ...
ML
2008
ACM
152views Machine Learning» more  ML 2008»
13 years 9 months ago
Learning near-optimal policies with Bellman-residual minimization based fitted policy iteration and a single sample path
Abstract. We consider batch reinforcement learning problems in continuous space, expected total discounted-reward Markovian Decision Problems. As opposed to previous theoretical wo...
András Antos, Csaba Szepesvári, R&ea...
FAC
2007
122views more  FAC 2007»
13 years 9 months ago
Formal techniques for performance analysis: blending SAN and PEPA
Abstract. In this paper we consider two performance modelling techniques from the perspectives of model construction, generation of an underlying continuous time Markov process, an...
Jane Hillston, Leïla Kloul
MONET
2006
88views more  MONET 2006»
13 years 9 months ago
Introducing consciousness in UWB networks by hybrid modelling of admission control
Abstract We formalize a model for a self-organizing network of nodes that operate according to the UWB principle based on hybrid modelling formalism. We design the rules that lead ...
Maria-Gabriella Di Benedetto, Guerino Giancola, Ma...