![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
3,881 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...
-
Article
Two varieties of finite automaton public key cryptosystem and digital signatures
This paper gives two varieties of the public key cryptosystem in [1] which can also be used to implement digital signatures.
-
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...
-
Article
Competition based neural networks for assignment problems
Competition based neural networks have been used to solve the generalized assignment problem and the quadratic assignment problem. Both problems are very difficult and are ε approximation complete. The neural ...
-
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.
-
Article
Object pose from 2-D to 3-D point and line correspondences
In this paper we present a method for optimally estimating the rotation and translation between a camera and a 3-D object from point and/or line correspondences. First we devise an error function and second we...
-
Article
An efficient computational method for solving nonlinear matrix equation and its application in queuing analysis
The matrix analytic analysis of queues with complex arrival, vacation and service characteristics requires the solution of nonlinear matrix equation. The complexity and large dimensionality of the model requir...
-
Article
Optimal solutions for a dynamic bandwidth allocation scheme in high-speed networks
In this paper, we investigate the problem of determining the optimal bandwidth allocation for a Dynamic Bandwidth Allocation Scheme (DBAS). The objective is to minimize the total amount of bandwidth required t...
-
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...
-
Article
A practical propositional knowledge base revision algorithm
This paper gives an outline of knowledge base revision and some recently presented complexity results about propositional knowledge base revision. Different methods for revising propositional knowledge base ha...
-
Article
FAPKC3: A new finite automaton public key cryptosystem
This paper deals with finite automaton public key cryptosystem and digital signatures. A new system FAPKC3 is proposed which can be used for encryption and implementing digital signatures as well. Some perform...
-
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...
-
Article
Intuitive minimal abduction in sequent calculi
Some computational issues on abduction are discussed in a framework of the first order sequent calculus. Starting from revising the meaning of “good” abduction, a new criterion of abduction called intuitive-mi...
-
Article
Holistic approach for problem improvement in health education: A human centred basis. A case study on AIDS prevention and control at a Chinese medical school
In order to cope with the changing health needs in the community, an holistic approach on AIDS prevention and control with particular reference to essential quality was introduced at an educational seminar at ...