![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
8,357 Result(s)
-
Chapter
Characteristics of QP-C and Reconstitution of the QH2-CYT C Reductase
Although the essential role of Q in electron transport has been generally accepted as respiratory or redox (electron or hydrogen) carrier (1–3), the reaction mechanism and the sequence of the reaction in the r...
-
Chapter and Conference Paper
On generating linguistic rules for fuzzy models
This paper proposes a method for generating linguistic rules based on fuzzy reasoning with a collection of fuzzy or nonfuzzy data.Numerical examples are presented to show the efficiency of this method.
-
Chapter
An Approach to Designing an Expert System Through Knowledge Organization
KORG (Knowledge ORGanization) is an approach to establishing an expert system. Its tasks are concerned with the following: (1) An expert system consists of both the domain expert’s knowledge and the AI expert’...
-
Chapter and Conference Paper
Symbolic derivation and automatic generation of parallel routines for finite element analysis
Described are some initial results of a joint research project involving engineering and computer science. The overall objective is to apply advanced computing technology effectively for the solution of engine...
-
Chapter and Conference Paper
Self-Organizing Sensory Systems
We consider a class of problems in the theory of robotic sensing systems. These particular sensing systems have many important applications in safety, surveillance, law enforcement, and defense operations, and...
-
Chapter
A High Performance Concurrency Control Protocol for Multi-Processor Transaction Processing Systems
In this paper we have proposed a new concurrency control algorithm that consists of two phases of execution for centralized multiprocessor-based transaction processing systems. The proposed algorithm integrate...
-
Chapter and Conference Paper
Towards a characterization of termination of logic programs
-
Chapter and Conference Paper
The 3DP Real-Time Motion-Control Computer
Implementing advanced motion-control algorithms requires a computer which can satisfy the computational needs of the problem, a powerful development environment for programming complex and abstract ideas, and ...
-
Chapter
GLR Parsing with Scoring
In a machine translation system, the number of possible analyses associated with a given sentence is usually very large due to the ambiguous nature of natural languages. But, it is desirable that only the best on...
-
Chapter and Conference Paper
Explanation-based learning helps acquire knowledge from natural language texts
Existing systems to acquire knowledge from expository texts do not perform any learning beyond interpreting the contents of the text. The opportunity to learn from examples included in texts is not exploited. ...
-
Chapter
Dishabituation Hierarchies for Visual Pattern Discrimination in Toads: A Dialog between Modeling and Experimentation
Toads exhibit stimulus- and locus-specific habituation. Instead of mutual dishabituation for different worm-like stimuli, toads exhibit a dishabituation hierarchy. In modeling the dishabituation hierarchy, we ...
-
Chapter and Conference Paper
RVF: An automated formal verification system
-
Chapter and Conference Paper
A Matching and Tracking Strategy for Independently Moving Objects
We present a robust and inherently parallel strategy for tracking “corner” features on independently moving (and possibly non-rigid) objects. The system operates over long, monocular image sequences and compri...
-
Chapter
Modeling Stimulus Specific Habituation: The Role of the Primordial Hippocampus
We present a neural model for the organization and neural dynamics of the medial pallium, the toad’s homolog of mammalian hippocampus. A neural mechanism, called cumulative shrinking, is proposed for map** t...
-
Chapter and Conference Paper
The Design of Transferable and Explainable Expert Systems - The Intensive-Help Project -
Intensive-Help (IH) is a distributed real time expert system for critical care environments (CCE-ES for short) with an open system architecture. In this paper, two design aspects of IH are considered: the tran...
-
Chapter and Conference Paper
A Self-organizing Network of Alterable Competitive Layer for Pattern Cluster
This paper apply ART1, only for binary input patterns, to perform the classification of image features. The category number of the competitive layer can be altered automatically to improve the net plasticity. ...
-
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
KITP-93: An automated inference system for program analysis
Our goal is to produce a powerful inference system capable of dealing with a large number of KB rules, and conjectures with diverse features. To achieve this goal, we have built KITP-93 with a logical framewor...
-
Chapter and Conference Paper
A factor space approach to concept representation
This paper presents a study of the knowledge representation of concepts using factor spaces and its application to the understanding of different concepts. Factors are conveniently used to describe the intensi...
-
Chapter and Conference Paper
PEMOSYS — ein validiertes hybrides Expertensystem zum Pflanzschutzmittel-Monitoring
Dieses Papier beschreibt die Vorgehensweise und Erfahrungen bei der Entwicklung des hybriden Expertensystems PEMOSYS. Ausgehend von der Charakterisierung der Domäne wird über die Wissensrepräsentation, Systema...