Content-based image retrieval (CBIR) usually relies on pre-attentive similarities. Results are often coarse because of the gap between the pre-attentive level and the semantic level of the user’s request. The aim of relevance feedback is to refine results by taking user’s expertise into account. This paper presents a new feedback architecture for CBIR. Images are compared through a weighted dis...

We introduce a new architecture for pipelined (and also algorithmic) A/D converters that give exponentially accurate conversion using inaccurate comparators. An error analysis of a sigma-delta converter with an imperfect comparator and a constant input reveals a self-correction property that is not inherited by the successive refinement quantization algorithm that underlies both pipelined multi...

We propose a refinement approach to language emptiness, which is based on the enumeration and the successive refinements of SCCs on over-approximations of the exact system. Our algorithm is compositional: It performs as much computation as possible on the abstract systems, and prunes uninteresting part of the search space as early as possible. It decomposes the state space disjunctively so that...

This paper presents a novel low-complexity method for extracting periodicity of signals based on their sine-wave representation. In this representation, the signal is modeled as a finite sum of sine-waves, with time-varying amplitudes, phases and frequencies. We describe how one can modify the familiar spectral-comb analysis method to obtain a guaranteed and effective procedure to find the fund...

This paper proposes a new shadow removal approach for input single natural image by using subregion matching illumination transfer. We first propose an effective and automatic shadow detection algorithm incorporating global successive thresholding scheme and local boundary refinement. Then we present a novel shadow removal algorithm by performing illumination transfer on the matched subregion p...

We present a performance engineering methodology based upon the construction and solution of performance models generated mechanically from UML sequence diagrams, annotated using the UML Profile for Schedulability, Performance and Time (SPT). The target platform for the performance analysis is the Labelled Transition System Analyser (LTSA) tool which supports model solution via discrete-event s...

In this paper a global optimization algorithm for solving sum of quadratic ratios problem with coefficients and nonconvex quadratic function constraints (NSP ) is proposed. First, the problem NSP is converted into an equivalent sum of linear ratios problem with nonconvex quadratic constraints ( LSP ). Using linearization technique, the linearization relaxation of LSP is obtained. The whole prob...

Relative correctness is the property of a program to be more-correct than another program with respect to a given specification. Among the many properties of relative correctness, that which we found most intriguing is the property that program P′ refines program P if and only if P′ is morecorrect than P with respect to any specification. This inspires us to reconsider program derivation by suc...

Sub-objects are sorted out according to the SceneProfile associated with an actual service. Each sub-object of arbitrary shape and size is generally represented by rectangular stereoscopic images with the right shape and required spatial and temporal resolution. A mask for the sub-object determines the transparency for each pixel. The motivation for this sub-division is to avoid progressive lay...

Analog electronic circuits are an integral part of many industrial systems. Failure in such analog circuits during field operation can have severe economic implications. The presence of an expert system that can provide advance warnings on circuit failures can minimize the downtime and improve the reliability of electrical systems. Through successive refinement of circuit’s response to a sweep ...