Sciweavers

4485 search results - page 19 / 897
» Equivalences on Observable Processes
Sort
View
TCS
2011
13 years 3 months ago
Computational processes, observers and Turing incompleteness
We propose a formal definition of Wolfram’s notion of computational process based on iterated transducers together with a weak observer, a model of computation that captures so...
Klaus Sutner
ICALP
1997
Springer
14 years 23 days ago
Basic Observables for Processes
We propose a general approach for defining behavioural preorders over process terms as the maximal pre–congruences induced by basic observables. We will consider three of these...
Michele Boreale, Rocco De Nicola, Rosario Pugliese
SMA
2010
ACM
181views Solid Modeling» more  SMA 2010»
13 years 3 months ago
Threshold selection in jump-discriminant filter for discretely observed jump processes
Threshold estimation is one of the useful techniques in the inference for jump-type stochastic processes from discrete observations. In this method, a jump-discriminant filter is ...
Yasutaka Shimizu
ECML
2005
Springer
14 years 2 months ago
Active Learning in Partially Observable Markov Decision Processes
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...
Robin Jaulmes, Joelle Pineau, Doina Precup