![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
896 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 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 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 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...
-
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
A purely functional language with encapsulated assignment
We introduce a new functional programming language with assignment. The language, which we call Λ, is a conservative extension of the λβ-calculus, and as such it it a higher order functional language in which we ...
-
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
Genetic Programming with local hill-climbing
This paper proposes a new approach to Genetic Programming (GP). In traditional GP, recombination can cause frequent disruption of building-blocks or mutation can cause abrupt changes in the semantics. To overc...
-
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...