671 Result(s)
-
Chapter
Articulated Manipulators and Integration of Control Software
This paper describes the design of articulated manipulators and their control software. A prototype model is an articulated hydraulic manipulator. An advanced one is driven by clutchtendon servo-mechanisms, an...
-
Chapter and Conference Paper
OLD resolution with tabulation
To resolve the search-incompleteness of depth-first logic program interpreters, a new interpretation method based on the tabulation technique is developed and modeled as a refinement to SLD resolution. Its sea...
-
Chapter
Expert System for Nuclear Power Plant Feedwater System Diagnosis
The Expert System for Nuclear Power Plant Feedwater System Diagnosis has been developed to assist maintenance engineers in nuclear power plants. This system adopts our latest process computer “TOSBAC” G8050 an...
-
Chapter
A data model, knowledge base, and natural language processing for sharing a large statistical database
Most existing statistical databases are mere collections of statistical files gathered for specific purposes. Consequently, as they grow in size, users are faced with difficulties in identifying and finding th...
-
Chapter and Conference Paper
An equivalence preserving first order unfold/fold transformation system
An unfold/fold transformation system for first order programs is presented which comprises an unfolding rule, a folding rule and a replacement rule. It is intended to work with a first order theory Δ specifyin...
-
Chapter and Conference Paper
Skill in Software Production - The Deskiller is Deskilled
Programmers participate in the larger part of the labour of software production. Since the data processing technology has advanced at an exceptional speed, manual programming cannot accommodate the demand for ...
-
Chapter and Conference Paper
Properties of language classes with finite elasticity
This paper considers properties of language classes with finite elasticity in the viewpoint of set theoretic operations. Finite elasticity was introduced by Wright as a sufficient condition for language classe...
-
Chapter and Conference Paper
Inductive resolution
A clausal system IDR for inductive inference is proposed. Given back-ground knowledge ß and an observed fact B, each represented in terms of clauses, it infers a set H of clauses such that ß ∪ H⊢ O. It is inducti...
-
Chapter and Conference Paper
Extracting the affine transformation from texture moments
In this paper we propose a novel, efficient and geometrically intuitive method to compute the four components of an affine transformation from the change in simple statistics of images of texture. In particula...
-
Chapter and Conference Paper
Human Sign Recognition Using Fuzzy Associative Inference System
The spotting recognition system is one system that recognizes human motion to a certain extent using moving images, it uses a dynamic programming method (Takahashi et al., 1993). This method, however, is limit...
-
Chapter and Conference Paper
Policy Optimization by Neural Network and Its Application to Queueing Allocation Problem
The problem of allocating an arriving customer to one of parallel servers has been actively studied in queueing theory for load balancing in computer networks or in multi-processor systems. To theoretically de...
-
Chapter and Conference Paper
Structural features by MCR expression for printed Arabic character recognition
This paper discribes how stroke features in document images are extracted and used for the recognition of printed Arabic characters. It is of importance to provide a good base representation that facilitate an...
-
Chapter and Conference Paper
Measuring Microcirculation Using Spatiotemporal Image Analysis
This paper describes a method for recognizing and measuring the motion of each individual leukocyte in microvessels from a sequence of images. A spatiotemporal image is generated whose spatial axes are paralle...
-
Chapter and Conference Paper
Fuzzy associative memory system and its application to multi-modal interface
A construction method and a refinement method of fuzzy knowledge are proposed in order to apply them to intelligent multi-modal interfaces. This paper supposes that the interface requires the following three f...
-
Chapter and Conference Paper
Intelligent Manipulation Robot in Micro and Nano meter World
Miniaturization of target objects is progressing in many fields such as electronics, mechanical engineering and medical care in consequence of the improvements of microscope, precision measurement, precision p...
-
Chapter and Conference Paper
Toward a unified theory of discrete event systems
Many man-made systems have discrete event mechanism. This paper first shows briefly a way how to construct a universal state space representations of a general discrete event system that is an input-output sys...
-
Chapter and Conference Paper
Genetic-based dynamic load balancing: Implementation and evaluation
This paper presents an adaptive dynamic load balancing scheme employing a genetic algorithm which includes an evaluation mechanism of fitness values in stochastic environments. A sender-initiative task migrati...
-
Chapter and Conference Paper
Reconstruction of 3-D shape and texture by active rangefinding
In this paper, a method for active rangefinding system that measures 3-D objects and reconstruct them as models with shape and color is discussed. The rangefinder “Cubicscope” utilized here takes range images ...
-
Chapter and Conference Paper
Measuring object surface shape and reflectance properties
An object model for computer graphics applications should contain two aspects of information: shape and reflectance properties of the object. A number of techniques have been developed for modeling object shap...
-
Chapter and Conference Paper
Lock-control system using face identification
Security system is on the evolution as computer technology advances. One of the most important security is lock-control. This paper presents the PASSFACE system which is a lock-control system using face identi...
