Sciweavers

5409 search results - page 82 / 1082
» Basic Observables for Processes
Sort
View
BIRTHDAY
2010
Springer
13 years 8 months ago
Tracking Evidence
In this case study we describe an approach to a general logical framework for tracking evidence within epistemic contexts. We consider as basic an example which features two justi...
Sergei N. Artëmov
CSL
2006
Springer
14 years 1 months ago
Weak Bisimulation Approximants
Abstract. Bisimilarity and weak bisimilarity are canonical notions of equivalence between processes, which are defined co-inductively, but may be approached
Will Harwood, Faron Moller, Anton Setzer
CCE
2005
13 years 10 months ago
Constructive nonlinear dynamics in process systems engineering
To date, sensitivity, bifurcation and singularity analysis have been employed to identify and characterize the qualitative nonlinear behaviour of chemical process systems. The phe...
Wolfgang Marquardt, Martin Mönnigmann
ICIP
2001
IEEE
14 years 11 months ago
Invariant representation in image processing
The paper discusses the role of invariance in image processing, specifically the desire to discriminate against unwanted variations in the scene while maintaining the power to tel...
Arnold W. M. Smeulders, Jan-Mark Geusebroek, Theo ...
CIMCA
2005
IEEE
14 years 3 months ago
Statistical Learning Procedure in Loopy Belief Propagation for Probabilistic Image Processing
We give a fast and practical algorithm for statistical learning hyperparameters from observable data in probabilistic image processing, which is based on Gaussian graphical model ...
Kazuyuki Tanaka