The Hilbert and Fourier transforms are tools used for signal analysis in the time/frequency domains. The Hilbert transform is applied to casual continuous signals. The majority of the practical signals are discrete signals and they are limited in time. It appeared therefore the need to create numeric algorithms for the Hilbert transform. Such an algorithm is a numeric operator, named the Discre...

This paper introduces a new way of accelerating the convergence of numeric CSP filtering algorithms, through the use of extrapolation methotis. Extrapolation methods are used in numerical analysis to accelerate the convergence of real number sequences. We will show how to use them for solving numeric csPs, leading to drastic improvement in efficiency.

The Formal Synthesis methodology can be considered as the application of the transformational approach to circuit synthesis by logical transformations performed in a theorem prover. Additionally to the implementation of the circuit, the proof that the result is a correct implementation of a given specification is obtained automatically. In this paper, a higher-order formalisation for the arithm...

In many database applications, ranking queries may reference both text and numeric attributes, where the ranking functions are based on both semantic distances/similarities for text attributes and numeric distances for numeric attributes. In this paper, we propose a new method for evaluating such type of ranking queries over a relational database. By statistics and training, this method builds ...

The paper addresses the problem of plan repair for tasks involving mandatory constraints on consumable and continuous resources, modeled as numeric fluents. The approach starts by proposing a new notion of numeric macro actions allowing to handle as an extension to the classical macro action formulation conditions and operations not only on the propositional fragment, but also on the numeric on...

For any information to be organized, taxonomy is essential. Taxonomy plays a very important role for information and content management. Also it helps in searching of content. The most common method for constructing taxonomy was the manual construction. As the information available today is huge, constructing taxonomy for such information manually was time consuming and maintenance was difficul...

There are two main tools for viewing the information in the Taxonomy database: the Taxonomy Browser, and Taxonomy Entrez. Both systems allow searching of the Taxonomy database for names, and both link to the relevant sequence data. However, the Taxonomy Browser provides a hierarchical view of the classification (the best display for most casual users interested in exploring our classification),...

Learning programs that generalize from real-world examples will have to deal with many different kinds of data. Continuous numeric data can cause problems far algorithms that scorch for examples with identical property values. These problems can be surmounted by categorizing the numeric doto. However, this process has problems of its awn. In this paper, we look at the need for categorizing nume...

A strip plot graphs one dimensional data by displaying each sample point as a point on a one dimensional axis. The main difficulties with this technique is (i) when several samples have identical values they will be printed on top of each other, and (ii) in the case of a large sample the graph will become overly crowded and less informative. The two ways to alleviate these difficulties are: (a)...