Sciweavers

5409 search results - page 82 / 1082
» Basic Observables for Processes
Sort
View
97
Voted
BIRTHDAY
2010
Springer
15 years 22 days 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
100
Voted
CSL
2006
Springer
15 years 6 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
111
Voted
CCE
2005
15 years 2 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
68
Voted
ICIP
2001
IEEE
16 years 4 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 ...
125
Voted
CIMCA
2005
IEEE
15 years 8 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