This paper is a first work on the link between two fields: validation and refinement in knowledge base systems and revision in knowledge representation. The validation evaluates knowledge base quality; among the criterion which can define this quality an interesting one is coherency. The coherency of a set of rules can be viewed as the potential consistency of this set of rules with respect to ...

We study the effect of coherency saturation in spatially or temporally periodical structures with randomization, applicable to a very broad class of systems. We derive a simple analytical formula in the case of uncorrelated deviations of periods with Gaussian probability distribution. Using Monte Carlo simulations, we also demonstrate that many other distributions show statistical properties th...

The paper deals with visualization of multiple datasets by exploiting data coherency among the datasets under consideration to address the issues related to storage and computation. The proposed data coherency approach utilizes the similarities among datasets by using the already generated polygon data for one or more reference datasets to approximate the isosurfaces of similar regions in other...

The development of interfacial coherency stresses in TiN/AlN bilayer and multilayer films was investigated by finite element method (ABAQUS) using the four-node bilinear quadrilateral axisymmetric element CAX4R. The TiN and AlN layers are always in compression and tension at the interface, respectively, as may be expected from the fact TiN has larger lattice parameter than AlN. Both, the bi-lay...

Performance modelling and veriication are vital steps in the development cycle of any cache coherency protocol. Two separate models are usually required to perform each analysis step and as protocols become increasingly complex each can become correspondingly unwieldy. We examine how stochastic process algebra can be used to describe cache coherency protocols in such a way as to allow both the ...

Tone Mapping Operators (TMOs) compress High Dynamic Range (HDR) contents to address Low Dynamic Range (LDR) displays. While many solutions have been designed over the last decade, only few of them can cope with video sequences. Indeed, these TMOs tone map each frame of a video sequence separately, which results in temporal incoherency. Two main types of temporal incoherency are usually consider...

The paper proposes a formulation of context coherency and uses it to generate semantically meaningful groupings by discovering salient image regions and their contexts. The proposed framework consists of four stages. First, a visual vocabulary from a set of labelled training images is learnt. Second, a context space which is inspired by Hyperspace Analogue to Language model is constructed using...

Mixing and coherence are fundamental issues at the heart of understanding fluid dynamics and other non-autonomous dynamical systems. Recently the notion of coherence has come to a more rigorous footing, in particular, within the studies of finite-time nonautonomous dynamical systems. Here we recall “shape coherent sets” which is proven to correspond to slowly evolving curvature, for which tange...

In this paper we study connections between Besov spaces of functions on a compact metric space $Z$, equipped with doubling measure, and the Newton--Sobolev uniform domain $X_\varepsilon$. This is obtained as uniformization (Gromov) hyperbolic filling $Z$. To do so, construct family fillings in style work Bonk Kleiner Bourdon Pajot. Then for each parameter $\beta>0$ lift $\mu_\beta$ measure $\nu...