284 search results - page 40 / 57 » Quantifying process equivalence based on observed behavior |
ECAL
2005
Springer
14 years 1 months ago
2005
Springer
In group-living animals, aggregation favours interactions and information exchanges between individuals, and thus allows the emergence of complex collective behaviors. In previous ...
AIMS
2009
Springer
14 years 2 months ago
2009
Springer
Network monitoring plays an important role in network management. Through the analysis of network parameters (e.g., flow throughput), managers can observe network behavior and mak...
AGI
2008
13 years 9 months ago
2008
Universal induction solves in principle the problem of choosing a prior to achieve optimal inductive inference. The AIXI theory, which combines control theory and universal induct...
ICML
2009
IEEE
14 years 8 months ago
2009
IEEE
We consider the problem of estimating the policy gradient in Partially Observable Markov Decision Processes (POMDPs) with a special class of policies that are based on Predictive ...
ESOP
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...