In this paper, we review the feature selection problem in mining issues. The application of soft computing techniques to data mining and knowledge discovery is now emerging in order to enhance the effectiveness of the...
详细信息
In this paper, we review the feature selection problem in mining issues. The application of soft computing techniques to data mining and knowledge discovery is now emerging in order to enhance the effectiveness of the traditional classification methods coming from machine learning. A survey of the approaches presented in the literature to select relevant features by using genetic algorithms is given. The different values of the genetic parameters utilized as well as the fitness functions are compared. A more detailed review of the proposals in the mining fields of databases, text and the Web is also given.
This paper presents our work on the development of a multimodal auditory interface which permits blind users to work more easily and efficiently with GUI browsers. A macro-analysis phase, which can be either passive o...
详细信息
This paper presents our work on the development of a multimodal auditory interface which permits blind users to work more easily and efficiently with GUI browsers. A macro-analysis phase, which can be either passive or active, informs on the global layout of HTML documents. A subsequent active micro-analysis phase allows to explore particular elements of the document. The interface is based on : (1) a mapping of the graphical HTML document into a 3D virtual sound space environment, where non-speech auditory cues differentiate HTML elements;(2) the transcription into sound not only of text, but also of images;(3) the use of a touch-sensitive screen to facilitate user interaction. Moreover, in order to validate the sonification model of the images, we have created an audio "memory game", that can be used as a pedagogical tool to help blind pupils learn spatial exploration cues.
We introduce binary locally monotonic regression as a first step in the study of the application of local monotonicity for image estimation. Given an algorithm that generates a similar locally monotonic image from a g...
详细信息
We introduce binary locally monotonic regression as a first step in the study of the application of local monotonicity for image estimation. Given an algorithm that generates a similar locally monotonic image from a given image, we can specify both the scale of the image features retained and the image smoothness. In contrast to the median filter and to morphological filters, a locally monotonic regression produces the optimally similar locally monotonic image. Locally monotonic regression is a computationally expensive technique, and the restriction to binary-range signals allows the use of Viterbi-type algorithms. Binary locally monotonic regression is a powerful tool that can be used in the solution of image estimation, image enhancement, and image segmentation problems.
Definitions of locally monotonic images are introduced. The model definitions are complemented with algorithms that compute locally monotonic versions of a given image or video frame input. The property of local monot...
详细信息
Definitions of locally monotonic images are introduced. The model definitions are complemented with algorithms that compute locally monotonic versions of a given image or video frame input. The property of local monotonicity provides a useful vehicle for image smoothing and denoising. Local monotonicity is also useful for scale space generation, wherein the degree of local monotonicity is the scale parameter. Currently, the property of local monotonicity is well defined for the 1-D case, but is not well defined for images or video. In this paper, models for multidimensional local monotonicity that extend the 1-D definition are rendered. Regression-based and diffusion-based processing methods are prescribed that yield meaningful locally monotonic images. The definitions and associated algorithms are applicable to image enhancement and a variety of multiscale tasks such as image segmentation and video coding.
Determining the diameter of a graph is a fundamental graph operation, yet no efficient (i.e. quadratic time) algorithm is known. In this paper, we examine the diameter problem on chordal and AT-free graphs and show th...
详细信息
We present a method for automated theorem proving in a combination of theories with disjoint signatures. The Nelson-Oppen combination technique for decision procedures is used to combine separate theorem provers in di...
详细信息
In this paper we present a new divide-and-conquer parallel algorithm to compute the eigenvalues of symmetric tridiagonal matrices. This algorithm combines the use of rank-one modifications in the division phase and th...
详细信息
In this paper we present a new divide-and-conquer parallel algorithm to compute the eigenvalues of symmetric tridiagonal matrices. This algorithm combines the use of rank-one modifications in the division phase and the application of the Laguerre iteration in the updating phase. Our method is compared with one based on the same scheme but using rank-two modifications. A thorough experimental analysis in the Cray T3D parallel computer has been carried out. Special emphasis has been put on analysing the influence of the deflation phenomena on the computational cost of this kind of algorithm. Experimental results show that an adequate exploitation of the inherent parallelism in the divide-and-conquer scheme produces very efficient parallel algorithms. The obtained speedups clearly improve the best sequential algorithm, including the standard implementation of QR iteration in LAPACK.
We present a coordination language and its semantics for specification and implementation of object-oriented real-time systems. Real-time systems operate under real-time constraints, and our language supports expressi...
详细信息
We present a coordination language and its semantics for specification and implementation of object-oriented real-time systems. Real-time systems operate under real-time constraints, and our language supports expression thereof. In our language, a system is modeled by two separate but complementary descriptions: A collection of objects define the system's structure and functional behavior and a set of interaction constraints define how these objects may interact. Our language thereby supports development of real-time systems by enabling objects build in isolation or re-used from other systems to be composed via interaction constraints. We use the Actor model to describe objects and the concept of real-time synchronizers to describe interaction constraints. Our model is accompanied by a formal semantics that precisely defines what real-time constraints means, and what constitutes a program's correct real-time behaviors. The semantics defines how the system may evolve in the real-time domain, and what progress guarantees the language makes. We briefly discuss implementation problems and potential solutions.
The problem of validating the specification of the control software of a simplified chemical reactor, expressed in the Sequential Function Chart(SFC) notation, is addressed in this work. Through this case study it is ...
详细信息
The problem of validating the specification of the control software of a simplified chemical reactor, expressed in the Sequential Function Chart(SFC) notation, is addressed in this work. Through this case study it is demonstrated a way of converting the SFC description to that of a Hybrid Automata System(HAS) and validating properties of the described system by integrating already available results in the theol)' of Hybrid Automata. Then, by synchronizing this HAS description with a HAS model of the controlled process and applying an algorithmic solution to the reachability problem of the combined HAS descriptions, it becomes possible to infer the satisfaction of the system properties that the equivalent SFC specifies.
The objective of this embedded tutorial is to give an overview for the state of the art of the pass-transistor logic technologies and their future prospects. The paper gives a survey summary for recent researches and ...
详细信息
The objective of this embedded tutorial is to give an overview for the state of the art of the pass-transistor logic technologies and their future prospects. The paper gives a survey summary for recent researches and developments on the pass-transistor logic technologies based on more than 100 surveyed papers that have been published after 1983. The number of publications has been rapidly increased after 1995, which shows recent quick growth of research activities. The survey includes several different viewpoints, such as circuit technologies, design and synthesis methodologies, applications and commercial use, etc. The circuit technologies and synthesis methodologies are roughly grouped into two categories, one of which has a close relation to BDD, while the other does not. Circuit technologies are also categorized into different axes, such as differential structure or single-rail structure, NMOS pass-transistors or CMOS, static circuits or dynamic, etc. Features of each pass-transistor logic family are explained along with these classification axes. For the most recent topics, commercial products by Japanese companies and cell/tool businesses in venture business companies in US are also reported. Several recent papers made performance comparisons of pass-transistor logic and CMOS, that are also reported with a discussion of future prospects.
暂无评论