2,591 Result(s)
-
Chapter and Conference Paper
Heuristic Search in Digital System Diagnosis
In this paper heuristic algorithms are devised for locating faults in sequential circuits. The concepts of location trees and generalized homing trees (GHTs) are introduced. Heuristic rules are employed in the...
-
Chapter and Conference Paper
Signal Processing of Ultrasonic Backscattered Echoes for Evaluating the Microstructure of Materials — a Review
The microstructure evaluation of materials using ultrasonic backscattered echoes has significant practical implications. Ultrasonic backscattered grain echoes are random signals which bear information related ...
-
Chapter and Conference Paper
Minimal NFA problems are hard
We study the complexity of the problem of converting a deterministic finite automaton (DFA) to a minimum equivalent nondeterministic finite automaton (NFA). More generally, let A → B denote the problem of conv...
-
Chapter and Conference Paper
A Parallel Algorithm for Simulating Color Perception
Human color perception is constancy and the color information is important for visual perception. The visual system can describe an objects color attribute rapidely and stably in natural environment, but the v...
-
Chapter and Conference Paper
Providing services in a World of IBC Resources: An architectural approach
Recent evolution in the Telecommunications World call for system environments enabling services to be deployed and provided as distributed applications; such services are to reuse and combine other already dep...
-
Chapter and Conference Paper
An approximation scheme for some Steiner tree problems in the plane
We design a polynomial time approximation scheme for the Steiner tree problem in the plane when the given set of regular points is c-local. The construction works for both Euclidean and rectilinear metrics.
-
Chapter and Conference Paper
Vowel recognition for speaker independent Chinese speech recognition
Vowel recognition is essential in Chinese speech recognition, especially in the speaker independent tasks. In this paper, the authors argued that the fixed length frame segmentation of the speech signal makes ...
-
Chapter and Conference Paper
Checking hybrid automata for linear duration invariants
In this paper, we consider the problem of checking hybrid systems modelled by hybrid automata for a class of real-time properties represented by linear duration invariants, which are constructed from linear inequ...
-
Chapter and Conference Paper
Camera calibration based on 3D-point-grid
In this paper an effective technique of camera calibration based on a 3D-point-grid is presented. The properties of structured space points, defined as 3D-point-grid, and their relations under perspective tran...
-
Chapter and Conference Paper
Identification of fuzzy objects from field observation data
This paper introduces the concept of fuzzy objects for modeling natural phenomena measured by field observation data. The propagation of uncertainties resulting from stochastic data errors and classification f...
-
Chapter and Conference Paper
Bézier Volume Deformation Model for Facial Animation and Video Tracking
Capturing real motions from video sequences is a powerful approach to automatically build facial deformation model. In this paper, a 3D Bézier volume deformation model is proposed for both synthesis and analys...
-
Chapter and Conference Paper
A Multiple-Domain Evaluation of Stratified Case-Based Reasoning
Stratified case-based reasoning (SCBR) is a technique in which case abstractions are used to assist case retrieval, matching, and adaptation. Previous work has shown that SCBR can significantly decrease the co...
-
Chapter and Conference Paper
On Rough Relations: An Alternative Formulation
Another formulation of the notion of rough relations is presented. Instead of using two equivalence relations on two universes, or a joint equivalence relation on their Cartesian product, we start from specifi...
-
Chapter and Conference Paper
Mining Functional Dependency Rule of Relational Database
This paper defines a kind of rule, functional dependency rule. The functional dependency degree of relational database can be depicted by this kind of rule. We give a algorithm to mine this kind of rule and pr...
-
Chapter and Conference Paper
Simulated Annealing with Asymptotic Convergence for Nonlinear Constrained Global Optimization
In this paper, we present constrained simulated annealing (CSA), a global minimization algorithm that converges to constrained global minima with probability one, for solving nonlinear discrete non-convex constra...
-
Chapter and Conference Paper
Deploying the Mobile-Agent Technology in Warehouse Management
Mobile agents, a relatively new paradigm for distributed software development, has become an accessible technology in recent years. The potential benefits of this paradigm, including the reduction of network b...
-
Chapter and Conference Paper
A Visual Method of Cluster Validation with Fastmap
This paper presents a visual method of cluster validation using the Fastmap algorithm. Two problems are tackled with Fastmap in the interactive process of discovering interesting clusters from real world datab...
-
Chapter and Conference Paper
An Interactive Approach to Building Classiffication Models by Clustering and Cluster Validation
This paper presents the decision clusters classifier (DCC) for database mining. A DCC model consists of a small set of decision clusters extracted from a tree of clusters generated by a clustering algorithm fr...
-
Chapter and Conference Paper
Association Rules
New association rules are presented for measure of association relationships between patterns. The new association rules are shown to not only measure three well-known association relationships correctly, but ...
-
Chapter and Conference Paper
The Incompressibility Method
Kolmogorov complexity is a modern notion of randomness dealing with the quantity of information in individual objects; that is, pointwise randomness rather than average randomness as produced by a random sourc...