Several database areas such as data exchange and integration share the problem of fixing database instance violations with respect to a set of constraints. The chase algorithm solves such violations by inserting tuples and setting the value of nulls. Unfortunately, the chase algorithm may not terminate and the problem of deciding whether the chase process terminates is undecidable. Recently the...

We introduce two nonparametric independent component analysis (ICA) criteria based on factorization of characteristic functions. This approach has potential to separate wide class of distributions because characteristic function always exists. A simple criterion allowing for efficient search of the separating matrix and a more advanced criterion possessing desirable consistency property are pre...

Auralization and binaural technology is a strongly growing field in acoustics and audio signal processing [1]. Measurements and models of head-related transfer functions (HRTF) of human subjects or dummy heads are the source of information for the research of auralization and spatial hearing (see, e.g., [2], for a good review on these subjects). The information contained in HRTFs measured at va...

Transaction management is the key component of process-sensitive engineering environments (PSEE). In recent years, several advanced transaction models have been proposed to support long transaction. However, in view of specific characteristic in software process transaction, those models only meet its partial requirements. Moreover, no commercial or academic results of nested cooperative transa...

We study personalized web ranking algorithms based on the existence of document clusterings. Motivated by the topic sensitive page ranking of Haveliwala [20], we develop and implement an efficient “local-cluster” algorithm by extending the web search algorithm of Achlioptas, Fiat, Karlin and McSherry [10]. We propose some formal criteria for evaluating such personalized ranking algorithms and p...

Structural codes and standards provide the foundation of good engineering practice and a framework for addressing safety and serviceability issues in structural design. They identify natural and man-made forces that must be considered, define magnitudes of these forces for design, and prescribe methods for determining structural resistance to these forces. The framers of these documents on whic...

This paper proposed a novel classification model which introduced the kernel function into the original Multiple Criteria Linear Programming (MCLP) model. MCLP model is used as a classification method which can only solve linear separable problems in data mining. However, the proposed kernel-based MCLP model can deal with non-linear cases. Meanwhile, unlike some other complicated models, this m...

In this paper, we propose a new method for phrase alignment using a dependency type distance and a distance-score function. With this method, appropriate correspondences can be selected among correspondence candidates that often include ambiguous or incorrect ones. Furthermore, this method makes it possible to measure the overall alignment consistency. We conduct an alignment experiment using 5...

Integration testing is an important part of the testing process, but few integration testing techniques have been systematically studied or defined. The goal of this research is to develop practical, effective, formalizable, automatable techniques for testing of connections between components during software integration. This paper presents an integration testing technique that is based on coup...