![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
962 Result(s)
-
Chapter and Conference Paper
An algorithm for intelligent backtracking
We have proposed an intelligent backtracking method based on a search proof tree obtained from the connection graph of a Prolog program. Although our method is assured to be safe, i.e., never overlooks a solut...
-
Chapter and Conference Paper
Enumeration of success patterns in logic programs
We have proposed the concept of item set for a Prolog program. It is inspired by the item set construction in parsing theories. Difficulties due to the exsistence of variables are overcome by the term-depth ab...
-
Chapter and Conference Paper
Development of a Total 3D CAD/CAM System for Electric Appliances
This paper presents an overview of a 3D CAD/CAM system for electric appliances. The distinctive features of the system are as follows;
-
Chapter and Conference Paper
Standardization of Animation Commands for Computer Animation System
The ideal computer animation system should be designed for artists. Designing the system, it is very important for system designer to understand requirements or needs from artists, and to make the system more ...
-
Chapter and Conference Paper
Bottle Design Arts System
BDAS is a CAD system developed for the purposes of bottle design. It was developed with the primary requirement that it be a practical system, and as such its development required a full analysis of bottle cha...
-
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
TX Series Based on TRONCHIP Architecture
The general development philosophy is described for our TX series which consists of a basic core processor, higher performance ones and superintegrated autonomous derivative processors. All these processors ar...
-
Chapter and Conference Paper
Reconstruction and Semi-Transparent Display Method for Observing Inner Structure of an Object Consisting of Multiple Surfaces
A system of techniques is proposed for reconstructing the original object from multi-layered cross-section data including open contour lines and for displaying the inner structure as well as the outside using ...
-
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
Optimization of the Generalized Hough Transform
Many image processing problem require curve detection. These include vision directed automation, remote control of vehicles, biomedical applications and so on. The Hough transform[1] [2] is a technique for detect...
-
Chapter and Conference Paper
A hybrid algebraic-numeric system ANS and its preliminary implementation
Recently the present authors proposed a simple and promising scheme of linking different computer languages and discussed linking Lisp and FORTRAN in detail from the viewpoint of hybrid algebraic-numeric compu...
-
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
Cellular Array Processor CAP and Visualization
The general-purpose cellular array processor (CAP) we developed features multiple-instruction stream multiple-data stream (MIMD) processing and image display. Several hundreds of processor elements can be conn...
-
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
Adding proof objects and inductive definition mechanisms to frege structures
A constructive theory RPT (Reflective Proof Theory) of proofs which has the following three features is introduced. (1) Proofs as objects. (2) Hierarchies of propositions and truths. (3) The mechanisms of indu...
-
Chapter and Conference Paper
Experimental Digital Video/Audio Storage Server
This paper describes a network based digital video/audio storage server system (DVRS) and an experimental software environment created for computer vision and graphics researchers. The most significant feature...
-
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
Interactive Design of Animation with Knowledge Based Moving Controls
A computer assisted painting apparatus was developed by Kaneko(1991) for generating ‘eels’ for a motion picture. The term ‘cel’ here is a word taken from a celluloid sheet which is traditionally used in animat...
-
Chapter and Conference Paper
Applied TCAD in Mega-Bits Memory Design
This paper describes a methodology of TCAD application in VLSI design and development. Simulation-based circuit model parameter generation for chip design purpose is one of the key topics in TCAD. Several crit...
-
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...