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...

This correspondence deals with the problem of determining the source coherency structure and estimation of directions of arrival in the presence of coherent signals. The method is closely related to the smoothed rank profile (SRP) algorithm presented in [3], which Manuscript received July 20, 1987; revised October 3, 1988. This work was supported by the Naval Physical and Oceanographic Laborato...

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...

We propose a time-domain approach to detect frequencies, frequency couplings, and phases using nonlinear correlation functions. For frequency analysis, this approach is a multivariate extension of discrete Fourier transform, and for higher-order spectra, it is a linear and multivariate alternative to multidimensional fast Fourier transform of multidimensional correlations. This method can be ap...

Formerly, microwave emissions accompanying hypervelocity impacts were confirmed experimentally. In this paper, two kinds of analyses, output waveform analysis and spectral analysis, are discussed for the purpose of clarifying the mechanism of microwave emissions. In output waveform analysis, the microwave pulse is simulated on the basis of a microcrack model in consideration of discharge curren...

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...