116 search results - page 7 / 24 » Bisimulation for Neighbourhood Structures |
MICCAI
2009
Springer
14 years 4 months ago
2009
Springer
In this paper we present a novel method for performing image registration of different modalities. Mutual Information (MI) is an established method for performing such registration...
CONCUR
2005
Springer
14 years 1 months ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
MMB
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
Publication
Gibbs random eld model with multiple pairwise pixel interactions describes each type of spatially homogeneous image textures in terms of a pixel neighbourhood and Gibbs potentials...
CIKM
1999
Springer
13 years 11 months ago
1999
Springer
The paper is concerned with the qualitative representation of spatiotemporal relations. We initially propose a multiresolution framework for the representation of relations among ...