rick@cs.arizona.edu (Rick Schlichting) (06/15/91)
[Dr. David Kahaner is a numerical analyst visiting Japan for two-years
under the auspices of the Office of Naval Research-Asia (ONR/Asia).
The following is the professional opinion of David Kahaner and in no
way has the blessing of the US Government or any agency of it. All
information is dated and of limited life time. This disclaimer should
be noted on ANY attribution.]
[Copies of previous reports written by Kahaner can be obtained from
host cs.arizona.edu using anonymous FTP.]
To: Distribution
From: David K. Kahaner, ONR Asia [kahaner@xroads.cc.u-tokyo.ac.jp]
Re: Jour JIFIP V14#1 (1991) & Trans JIFIP V31#6-12 (1990)
14 June 1991
This file is named "jifip14.abs"
ABSTRACT. Titles and abstracts from Jour JIFIP V14#1 (1991) and titles from
Trans JIFIP V31#6-12 (1990). All the papers are in English
JOURNAL OF INFORMATION PROCESSING Vol. 14. No. 1, 1991
Almost Boolean Algebraic Computation of LALR (1) Look-Ahead Sets
Hiroyuki Anzai (Faculty of Engineering, Kyushu Institute of Technology)
In order to obtain an LALR (1) parser from a given grammar, it is
necessary to construct an LR (0) automation and to compute LALR (1) Look-
Ahead sets. This paper presents a new method for doing so, based on the
linear algebra-like approach instead of the traditional graph theoretical
one.
After pointing out that the regular language generated from the
empty set is isomorphic to Boolean algebra, this paper shows that the
above problems can be solved by partially reducing them to problems of
this simplest language, Boolean algebra, in such a manner that unknown
sets are defined by simultaneous equations each of whose coefficients is
a Boolean number.
For a given BNF, equations of this kind defining the state
transition of an LR (0) automation are given and solved. Follow sets are
similarly defined and solved. Each solution is a formula for computing
the desired sets, whose form is the product of the closure of a Boolean
matrix and a vector of either Boolean numbers or sets of symbols.
Finally, each Look-Ahead set is obtained as a union of properly selected
Follow sets.
Until now, this kind of computation has been done in an iterative
manner of set computation on the equations until the sets obtained become
unchanged. Instead, this paper gives a formula for computing them by
almost Boolean matrix computation.
A Nonmonotonic Temporal Logic and Its Kripke Semantics
Yasushi Fujiwara, Shinichi Honiden (Systems & Software Engineering
Laboratory, Toshiba Corp.)
Human commonsense reasoning is at the same time nonmonotonic and
temporal. This paper proposes a logic for nonmonotonic temporal
reasoning. The nonmonotonic temporal logic "autoepistemic temporal
logic" (ATL) is an extension of both autoepistemic logic, a kind of
nonmonotonic logic, and propositional temporal logic (PTL). A spatio-
temporal logic ST5, which is suitable for reasoning about multiprocess
networks, is also proposed, and a close relationship is exhibited between
the semantics of ATL and ST5. Stable expansions of premises of a certain
type are then characterized in terms of statewise autoepistemic stable
expansions. The result may also provide a general approach to
constructing nonmonotonic logic with possible-world semantics.
Accurate Reconstruction of a 3D Object Composed of Multiple Surfaces
Kazufumi Kaneda, Yutaka Wakasu, Eihachiro Nakamae (Faculty of
Engineering, Hiroshima University)
Mineo Yasuda, Akinao G. Sato (School of Medicine, Hiroshima University)
In order to observe in detail the internal structure of a multi-
layered object consisting of various elements, it is very important to
reconstruct the original object from its cross-sectional data and display
the inner along with the outer appearance of the reconstructed object.
This paper describes a technique for reconstructing a 3D object from
complex contours on the cross-sections efficiently and faithfully. The
proposed method succeeds even when the object's shape varies radically
between successive cross-sections: cross-sections with radically
different contours and/or radically different contour line segments are
automatically supplemented.
The usefulness of the proposed method is demonstrated with some
semitransparent and stereoscopic displays of a reconstructed mouse
embryo.
A Dynamic Algorithm for Placing Rectangles without Overlapping
Takeshi Tokuyama (IBM Research, Tokyo Research Laboratory)
Takao Asano (Faculty of Science and Technology, Sophia University)
Shuji Tsukiyama (Faculty of Science and Engineering, Chuo University)
We consider the dynamic allocation problem of rectangles such that a
mixed sequence of insertions and deletions of rectangles in a rectangular
board is executed without any pair of rectangles overlapping each other.
We present an O (n log log n) time algorithm for insertion of a rectangle
if n rectangles have been already placed in the board. We solve the
problem by reducing it to the contour construction problem on a special
class of arrangements of rectangles.
Roughly Sorting: A Generalization of Sorting
Yoshihide Igarashi (Department of Computer Science, Gumma University)
Derick Wood (Department of Computer Science, University of Waterloo,
Canada)
A sequence `=(a1, ...., an) is k-sorted if and only if for all 1<i,
j<n, i<j-k implies a1<aj. A k-sorting algorithm called k-Bubblesort is
first designed, since it is a generalization of Bubblesort. Next, a k-
sorting algorithm called k-Quicksort is designed, as well as an algorithm
for transforming a roughly sorted sequence into a less roughly sorted
sequence. It is shown that k-Quicksort is time-optimal within a constant
factor if k satisfies a certain condition. Parallel implementation of k-
Bubblesort and k-Quicksort are also discussed.
Remote Object Access Mechanism
Kaoru Yoshida (Institute for New Generation Computer Technology (ICOT)
As part of the firth-generation project, ICOT has been developing an
object-oriented logic programming and operating system, SIMPOS, for the
personal sequential inference machines PSI and PSI-II. Currently, about
tree hundred PSI machines and some other machines have been connected in
local and global area networks. Two different protocols, PSI-NET and
TCP-IP, are supported over the network.
For a distributed system to be built to be network-transparent as
simply and compactly as possible, it should be network-transparent at the
base, that is, at the method-call level for an object-oriented system.
This paper describes the principles and implementation of the Remote
Object Access mechanism (ROAM), which is a general mechanism embedded in
SIMPOS to make method calls to objects on remote PSI machines as well as
on the local PSI machine.
ROAM has been implemented as a set of classes. Network-transparent
objects can be defined easily by inheriting a ROAM interface class and
customizing some of the inherited methods. ROAM is currently in
operation, and uses both of the above two protocols. A variety of
application software programs have been developed with ROAM, for
practical use, one of which, a global file system, described as an
example.
A New Reorthogonalization in the Lanczos Algorithm
Hitoshi Imai, Makoto Natori, Eiji Kawamura (Institute of Information
Sciences and Electronics, University of Tsukuba)
A new reorthogonalization in the Lanczos algorithm is proposed. In
this method, the loss of orthogonality among Lanczos vectors is monitored
by a recurrence formula. When it is directed, Ritz vectors, which
correspond to converging Ritz values, are employed for the
orthogonalization. The main feature of this method is that can be
stopped as soon as the desired eigenvalues have been obtained.
Numerical computations are carried out to evaluate the method.
Here, matrics obtained by discretization of the two-dimensional Laplace
operator are used. The features mentioned above are confined
numerically, and an improvement in the computational time is confirmed.
Design Issues of OMEGA: An Object-Oriented Multimedia Database Management
System
Yoshifumi Masunaga (Department of Library and Information Science,
University of Library and Information Science)
OMEGA is an object-oriented multimedia database management system
under development at the University of Library and Information Science.
Some of the design issues of OMEGA are reported in this paper. First,
the multimedia data modeling is discussed. It is stressed that the
object-oriented approach is essential in order to organize and manage
multimedia data. The Referred Object Integration method for multimedia
database organization is presented that its semantically more powerful
than the hypermedia approach. Next, the object model of OMEGA is
investigated. It is shown that traditional object-oriented models are
not powerful enough to represent multimedia objects. Some extensions are
made for representing part hierarchy and temporal and spatial information
about multimedia data. Object identify that equality are characterized.
Type issues and object management schemes are also examined. After this,
the language model of OMEGA is investigated and the design of the class
definition, the query, and the database programming language are
discussed. The problem of how to translate Smalltalk objects into C+ +
objects, and vice versa is investigated with a view to supporting
multiple object-oriented database programming languages with persistent
object-sharing capability in OMEGA. The object-oriented and the SQL-Like
syntax of the class definition and the query language are also described.
An Experimental Reflective Programming System Written in GHC
Jiro Tanaka (IIAS-SIS, Fujitsu Laboratories Ltd.)
A Programming system can be defined as an environment in which one
can input programs and execute goals. Two approaches to enhancing meta-
interpreters, namely, meta-extension and reflective-extension, are
described. They are then combined and reflective opertions on such meta-
interpretation techniques, is described. The whole system consists of
two layers, a distributed abstract machine layer and an execution system
layer, both of which are totally written in the parallel logic language
GHC. Two examples are given of reflective programming: load balacing and
dynamic reduction count control. An example is also given of an actual
program execution of ExReps.
--------------------------------------------------------------------------
TRANSACTIONS OF INFORMATION PROCESSING SOCIETY OF JAPAN,
Vol 31, #6 -- #12 (1990)
Reasoning for Logic Circuit Synthesis Expert System
Keisuke Bekki (The 10th Department, Hitachi Research Laboratory, Hitachi
Ltd.), et. al.
Transactions of IPSJ 31, 6 (June 1990)
Knowledge Acquisition Method Utilizing Multi-attribute Utility Theory
Toru Mitsuya (Energy Research Laboratory, Hitachi Ltd.), et. al.
Transactions of IPSJ 31, 6 (June 1990)
Formalizing Soft Constrains by Interpretation Ordering
Ken Satoh (Institute for New Generation Computer Technology)
Transactions of IPSJ 31, 6 (June 1990)
A Topological Model for Propositional Logics
Hiroshi Tsukimoto (Toshiba Corporation)
Transactions of IPSJ 31, 6 (June 1990)
A Textual Analysis Method for Extracting Negative Expressions in Tools for
Writing Japanese Documents
Akira Suganuma (Department of Computer Science and Communication
Engineering, Faculty of Engineering, Kyushu University), et. al.
Transactions of IPSJ 31, 6 (June 1990)
A Japanese-Korean Predicate Translation System Using the Semantic
Correspondence between Their Auxiliary Predicative Expressions
Heedong Lee (Imaging Science and Engineering Laboratory, Faculty of
Engineering, Tokyo Institute of Technology), et. al.
Transactions of IPSJ 31, 6 (June 1990)
Natural-Language Dialogue Understanding on a Four-Typed Plan Recognition Model
Hitoshi Iida (ATR Interpreting Telephony Research Laboratories), et. al.
Transactions of IPSJ 31, 6 (June 1990)
Parallel Implementation of OPS5 in QLISP
Hiroshi G. Okuno (NTT Software Laboratories), et. al.
Transactions of IPSJ 31, 6 (June 1990)
MAP: Multi-Angled Parallelism for Feature Extraction from Topographical Maps
Hiromitsu Yamada (Machine Understanding Division, Electrotechnical
Laboratory), et. al.
Transactions of IPSJ 31, 6 (June 1990)
Parallel Complexity of Logic Programs and Highly Parallel Computation by Logic
Circuits
Yasuo Okabe (Department of Information Science, Faculty of Engineering,
Kyoto University), et. al.
Transactions of IPSJ 31, 6 (June 1990)
The Intention of the Student and the Conversation Control Method in an
Intelligent CAI System for Training in a Foreign Language
Hideki Yamamoto (Systems Laboratory, R&D Group, Oki Electric Industry
Col., Ltd.), et. al.
Transactions of IPSJ 31, 6 (June 1990)
Iterative Multiplication Method Using Redundant Binary Representation
Motonobu Tonomura (Hitachi Central Research Laboratory, Hitachi Ltd.)
Transactions of IPSJ 31, 6 (June 1990)
A Craniofacial Surgical Planning System (NUCSS-V2, Containing a Function for
Cutting or Moving Arbitrary Shapes from Bony Blocks
Takami Yasuda (Department of Information Engineering Faculty of
Engineering, Nagoya University), et. al.
Transactions of IPSJ 31, 6 (June 1990)
Hypothesizing and Testing Geometric Attributes of Image Data
Kenichi Kanatani (Department of Computer Science, Gumma University), et.
al.
Transactions of IPSJ 31, 6 (June 1990)
Optimal Checkpointing Policies Using Checkpointing Density
Satoshi Fukumoto (Faculty of Engineering, Hiroshima University), et. al.
Transactions of IPSJ 31, 6 (June 1990)
Design and Implementation of OS/omicron Task Management Suitable for Multi-
Processor Systems
Mitarou Namiki (Department of Information Science, Faculty of Technology,
Tokyo University of Agriculture and Technology), et. al.
Transactions of IPSJ 31, 6 (June 1990)
Formalization of the Interface Design Method and Construction of a Design
Support System Based on Knowledge-Based Design Methodology
Tetsuo Kinoshita (Systems Laboratory, Oki Electric Ind. Co., Ltd.), et.
al.
Transactions of IPSJ 31, 6 (June 1990)
An Algorithm for Constructing a Semi-LL (2) Grammar's Parsing-table
Keiichi Yoshida (Department of Computer Science, College of Engineering,
Shizuoka University), et. al.
Transactions of IPSJ 31, 6 (June 1990)
Efficiency of an SOR-Like Method Suited to Vector Processing
Masaki Sugihara (Department of Economics, Hitotsubashi University), et.
al.
Transactions of IPSJ 31, 6 (June 1990)
A New Representation of Natural Numbers Based on Variably Multiple
Decomposition
Mario Nakamori (Faculty of Technology, Tokyo University of Agriculture
and Technology), et. al.
Transactions of IPSJ 31, 6 (June 1990)
Calculation with Discretization Functions
Kazuo Hatano (Department of Electronics, Faculty of Engineering, Aichi
Institute of Technology)
Transactions of IPSJ 31, 7 (July 1990)
Fast Multiple-Precision Calculation of Square Root
Kazufumi Ozawa (Department of Information Engineering, Sendai National
College of Technology)
Transactions of IPSJ 31, 7 (July 1990)
A High-Order Iteration Formula for Simultaneous Determination of the Zeros of
a Polynomial
Tetsuya Sakurai (Department of Information Engineering, Faculty of
Engineering, Nagoya University)
Transactions of IPSJ 31, 7 (July 1990)
Implementation and Evaluation of the Sentence Analysis System YAPXR
Tatsuya Hayashi (Fujitsu Laboratories Ltd.)
Transactions of IPSJ 31, 7 (July 1990)
An Algorithm for Constructing Extensions of Propositional Autoepistemic Logic
Noboru Babaguchi (Department of Communication Engineering, Faculty of
Engineering, Osaka University), et. al.
Transactions of IPSJ 31, 7 (July 1990)
Rapid Learning Method for a Multilayered Neural Network Using a Conjugate
Gradient Method with Two-Dimensional Search
Toshinobu Yoshida (Department of Electrical and Electronic Engineering,
Faculty of Engineering, Chiba University)
Transactions of IPSJ 31, 7 (July 1990)
Improvement of the Learning Capability of Neural Networks Based on a Redundant
and Diverse Structuring
Itsuo Kumazawa (Department of Computer Science, Faculty of Engineering,
Tokyo Institute of Technology)
Transactions of IPSJ 31, 7 (July 1990)
Fast Algorithm for Point Pattern Matching by Using Ordered Lists
Hongbin Zhang (Department of Information Science, Kyoto University)
Transactions of IPSJ 31, 7 (July 1990)
The Software Architecture of a Vision and Image Engineering Workstation
Hiroaki Sato (Canon, Inc.), et. al.
Transactions of IPSJ 31, 7 (July 1990)
Automatic Classification of Texture Using Fractal Dimension(s) and Lower-Order
Statistics
Tatsuya Yoshizawa (Tokyo University of Agriculture and Technology), et.
al.
Transactions of IPSJ 31, 7 (July 1990)
Representation of Modeling Processes by Data Dependency, and its Application
to Variational Solid Modeling
Masatomo Inui (Research Center for Advanced Science and Technology, The
University of Tokyo), et. al.
Transactions of IPSJ 31, 7 (July 1990)
Development and Use of a Computer Manual Refinement and Proofreading System
Zenbun Takahashi (Software Engineering Department, Software Division,
Computer Systems Group, Fujitsu, Ltd.)
Transactions of IPSJ 31, 7 (July 1990)
A Memory Management Scheme for Compact Common Lisp System and its
Implementation
Tsuyoshi Yamamoto (Department of Information Engineering, Faculty of
Engineering, Hokkdido University)
Transactions of IPSJ 31, 7 (July 1990)
Cellula: A Parallel Cooperation Model Composed of "Process+Field" Amalgams
Norihiko Yoshida (Department of Computer Science and Communication
Engineering, Kyushu Univesity)
Transactions of IPSJ 31, 7 (July 1990)
Process Migration Policies in Distributed Operating Systems
Kyu Sung Park (Department of Information Science, Faculty of Science,
University of Tokyo), et. al.
Transactions of IPSJ 31, 7 (July 1990)
The Software Development Environment dmCASE
Saeko Matsuura (Kanrikogaku, Ltd.), et. al.
Transactions of IPSJ 31, 7 (July 1990)
A Process Model for Improving by Using Matrix Expressions
Toshihiko Sunazuka (Software Management Department, Software Engineering
Development Laboratory, NEC Corporation)
Transactions of IPSJ 31, 7 (July 1990)
Design Support Environment for Communications Software
Hiroshi Fujimoto (Business Switching Systems Division, Fujitsu Ltd.), et.
al.
Transactions of IPSJ 31, 7 (July 1990)
Proposal and Implementation of a Systematic Testing Environment, FOREST, Based
on Standardized Formal Description Technique
Kotaro Katsuyama (Information Systems and Electronics Development
Laboratory, Mitsubishi Electric Corp.), et. al.
Transactions of IPSJ 31, 7 (July 1990)
Regular Temporal Logic Expressively Equivalent to Finite Automata, and its
Application to Logic Design Verification
Hiromi Hiraishi (Department of Information Science, Faculty of
Engineering, Kyoto University), et. al.
Transactions of IPSJ 31, 7 (July 1990)
Error Analysis of the Least-Square Approximation Using Composite Polynomials
Kazuo Hatano (Department of Electronics, Faculty of Engineering, Aichi
Institute of Technology)
Transactions of IPSJ 31, 8 (Aug. 1990)
Error Analysis of Recurrence Technique for the Calculation of Bessel Function
Iv(X)
Toshio Yoshida (College of Business Administration and Information
Science, Chubu University)
Transactions of IPSJ 31, 8 (Aug. 1990)
Utilization of Common-sense and Context Information in the Machine Translation
of Technical Documents
Kou Mukainaka (EDP Systems Engineering Division, NEC Corp.)
Transactions of IPSJ 31, 8 (Aug. 1990)
A Knowledge-Directed Scheduling Support Method for Plant Related Activities
Hisanori Nonaka (Energy Research Laboratory, Hitachi Ltd.), et. al.
Transactions of IPSJ 31, 8 (Aug. 1990)
Programming Knowhow Representation Method Based on the Semantic Network and
its Application to the Programming Support System
Hirohide Haga (Kansai Systems Laboratory, Systems Development Laboratory,
Hitachi, Ltd.)
Transactions of IPSJ 31, 8 (Aug. 1990)
Complex Object Abstract Data Type in CAD Database Environments -- Its
Application to Solid Databases
Sehi-Jie Jiang (Program in Engineering Sciences, Graduate School,
University of Tsukuba), et. al.
Transactions of IPSJ 31, 8 (Aug. 1990)
Edge-Enhanced Drawing in Computer Graphics
Takafumi Saito (NTT Human Interface Laboratories), et. al.
Transactions of IPSJ 31, 8 (Aug. 1990)
A Multiple Polynomial for Curve Generation
Noboru Murayama (Ricoh R&D Center)
Transactions of IPSJ 31, 8 (Aug. 1990)
Approximate Optimization of the Sequence for Drawing Restricted Connections
between Segments or Points
Mayumi Oyama (Information Processing Research Center, Kwansei Gakuin
University), et. al.
Transactions of IPSJ 31, 8 (Aug. 1990)
An Accelerating Processor for Relational Operations
Hideki Takeda (NTT Communications and Information Processing
Laboratories), et. al.
Transactions of IPSJ 31, 8 (Aug. 1990)
String Graph Representations for Arithmetic Algorithms
Motonobu Tonomura (Hitachi Central Research Laboratory, Hitachi Ltd.)
Transactions of IPSJ 31, 8 (Aug. 1990)
Data Path Verification System Using Temporal Logic for Bihavioral Description
Hiroshi Nakamura (Electrical Engineering Course, Graduate School of
Engineering, University of Tokyo), et. al.
Transactions of IPSJ 31, 8 (Aug. 1990)
Proposal and Performance Evaluation of MAC Bridge Configuration Scheme
Junji Fukuzawa (Systems Development Laboratory, Hitachi, Ltd.), et. al.
Transactions of IPSJ 31, 8 (Aug. 1990)
Numerical Solutions of Nonlinear Integral Equations by Approximation of Fixed
Points
Chisato Suzuki (International Institute for Advanced Study of Social
Information Science, Fujitsu Ltd.)
Transactions of IPSJ 31, 9 (Sep. 1990)
High-Speed Processing Method for a Production System Compiler
Kenichi Kurosawa (8th Department, Hitachi Research Laboratory, Hitachi,
Ltd.), et. al.
Transactions of IPSJ 31, 9 (Sep. 1990)
Integrated Natural Language Analysis with an Integrated Parsing Engine (IPE)
Xuemin Liu (Department of Information Science, Kyoto University), et. al.
Transactions of IPSJ 31, 9 (Sep. 1990)
Correspondence between Functional Features and Visual Features in MIRACLE-IV
Hitoshi Matsubara (Electrotechnical Laboratory), et. al.
Transactions of IPSJ 31, 9 (Sep. 1990)
Reconstruction of a Solid from a Set of Three Orthographic Views -
Applications to Many Polyhedral Solids
Toyomitsu Senda (Mechanical Engineering, Faculty of Engineering, Ehime
University)
Transactions of IPSJ 31, 9 (Sep. 1990)
A Cognitive Model for Training in Japanese Typing in which Speed Advancement
is Calculated from Training Texts
Yoshihiko Ono (Insternational Research Center for Japanese Studies)
Transactions of IPSJ 31, 9 (Sep. 1990)
Three-Dimensional Graphics and Image Transfer Using Extended Raster Operation
Ryo Fujita (Hitachi Research Laboratory, Hitachi, Ltd.), et. al.
Transactions of IPSJ 31, 9 (Sep. 1990)
Free-Form Shape Manipulation Using Differential Geometry
Keiichi Yamagata (Department of Precision Engineering, Faculty of
Engineering, Osaka University), et. al.
Transactions of IPSJ 31, 9 (Sep. 1990)
The Structure of the Parsing-Table and the Parsing Algorithm for Semi-LL(2)
Grammars
Keiichi Yoshida (Department of Computer Science, College of Engineering,
Shizuoka University), et. al.
Transactions of IPSJ 31, 9 (Sep. 1990)
Design Concept of a System for Developing Application-Dependent User Interface
Kouichirou Tanikoshi (10th Dept., Hitachi Research Laboratory, Hitachi,
Ltd.)
Transactions of IPSJ 31, 9 (Sep. 1990)
Multi-Project Scheduling
Yoshitsugu Ohmae (Department of Information Science, Faculty of
Engineering, University of Ibaraki), et. al.
Transactions of IPSJ 31, 9 (Sep. 1990)
High Performance I/O Interface Cable Length Extended System
Toshio Matsunaga (NTT Communications and Information Processing
Laboratories), et. al.
Transactions of IPSJ 31, 9 (Sep. 1990)
Representation of Descriptive Name and the Resolution Method with a Semantic
Network Structure
Fumiko Kouda (Department of Electrical Engineering, Faculty of
Engineering, University of Tokyo), et. al.
Transactions of IPSJ 31, 9 (Sep. 1990)
An Intelligent User Interface Language Integrating Object-oriented Rule-base
and X Toolkit
Toshikazu Tanimoto (Department of Systems Software Engineering, Research
and Development Center, Digital Equipment Corporation Japan), et. al.
Transactions of IPSJ 31, 9 (Sep. 1990)
Ambiguity Detection in Japanese Dependency Structures for Pre-Editing
Akihiro Hirai (Systems Development Laboratory, Hitachi, Ltd.). et. al.
Transactions of IPSJ 31, 9 (Sep. 1990)
An Algorithm for Detecting Activizable Japanese Passives
Yoshihiko Hayashi (NTT Communications and Information Processing
Laboratories), et. al.
Transactions of IPSJ 31, 10 (Oct. 1990)
Implementation and Evaluation of a Hybrid System of Formula and Numerical
Manipulations Using an Extended Form of PASCAL as a Kernel Language
Kazuyoshi Mori (Information and Computer Sciences, Faculty of
Engineering, Toyohashi University of Technology), et. al.
Transactions of IPSJ 31, 10 (Oct. 1990)
A Decision Principle of Switch Nodes in the Parallel Language DFCII
Satoshi Sekiguchi (Electrotechnical Laboratory), et. al.
Transactions of IPSJ 31, 10 (Oct. 1990)
Generation of Hichart Program Diagrams
Nobuyoshi Go (Academic Computing Center, Tokai University), et. al.
Transactions of IPSJ 31, 10 (Oct. 1990)
A Quality Deployment Approach to Software Quality Management - Conceptual
Framework and Methodology
Akira Ohmori (International Institute for Advanced Study of Social
Information Science, Fujitsu Limited)
Transactions of IPSJ 31, 10 (Oct. 1990)
Implementation of a Test Sequence Generation Method for Stepwise Testing of
Communication Systems
Fumiaki Sato (Information Systems and Electronics Development Laboratory,
Mitsubishi Electric Corp.), et. al.
Transactions of IPSJ 31, 10 (Oct. 1990)
INTERA, a User Interface Simulator
Osamu Hashimoto (NEC Corporation), et. al.
Transactions of IPSJ 31, 10 (Oct. 1990)
Job Shop Scheduling Using a Hopfield-type Neural Network
Yukinori Kakazu (Department of Precision Engineering, Faculty of
Engineering, Hokkaido University), et. al.
Transactions of IPSJ 31, 10 (Oct. 1990)
Data Transmission Method in a Multistage Switching Network for Multiprocessor
Image DSP
Yasuyuki Okumura (Transport Processing Laboratory, NTT Transmission
Systems Laboratories), et. al.
Transactions of IPSJ 31, 10 (Oct. 1990)
Resolution Algorithms for Horn Clauses Using the Retrieval-by-Unification
Operation on Term Relations
Haruo Yokota (Fujitsu Ltd.), et. al.
Transactions of IPSJ 31, 10 (Oct. 1990)
Extensive Reconstruction of a Hough-Type Transform for the Pattern Detector
Hiroyasu Koshimizu (Chukyo University), et. al.
Transactions of IPSJ 31, 10 (Oct. 1990)
G1 Continuity Condition between Rational Bezier Surface Patches
Tsuyoshi Harada (Software Division, RICOH Company Ltd.), et. al.
Transactions of IPSJ 31, 10 (Oct. 1990)
The Hand Calculator as a Teaching Tool in an Introductory Course for the BA
Degree in Computer Science
Mario Nakamori (Faculty of Technology, Tokyo University of Agriculture
and Technology), et. al.
Transactions of IPSJ 31, 11 (Nov. 1990)
A System for Information Processing Education and CAI by Personal Computer
Miyoichi Eguchi (Department of Electrical Engineering, Fukuoka Insitute
of Technology), et. al.
Transactions of IPSJ 31, 11 (Nov. 1990)
A Memory-Type Parallel Computation Model and Its Computational Power - Yet
Another Approach to Supercomputing
Naofumi Takagi (Department of Information Science, Faculty of
Engineering, Kyoto University), et. al.
Transactions of IPSJ 31, 11 (Nov. 1990)
MAGIC: A Shell for Building Mechanical Design Assistant Expert Systems
Yusei Nakashima (Technology & Research Center, Kayaba Industry Co.,
Ltd.), et. al.
Transactions of IPSJ 31, 11 (Nov. 1990)
Knowledge-base-Oriented Parallel-Processing System
Haruo Yokota (Fujitsu Ltd.), et. al.
Transactions of IPSJ 31, 11 (Nov. 1990)
Color Classification and Segmentation of Color Images
Shoji Tominaga (Department of Precision Engineering, Faculty of
Engineering, Osaka Electro-Communication University)
Transactions of IPSJ 31, 11 (Nov. 1990)
Transformation of an Attribute Grammar to Translate Case Statements into
Action Routines
Yoshimichi Watanabe (Department of Electrical Engineering and Computer
Science, Faculty of Engineering, Yamanashi University)
Transactions of IPSJ 31, 11 (Nov. 1990)
A Variable Allocation Algorithm for Shared Memory Parallel Processing Systems
Minoru Koike (Department of Mechanical Engineering for Computer-
Controlled Machinery, Faculty of Engineering, Osaka University), et. al.
Transactions of IPSJ 31, 11 (Nov. 1990)
Automatic Generation of a Parser and an Unparser Using Definite Clause Grammar
Kyoko Ohashi (Fujitsu Laboratories Ltd.), et. al.
Transactions of IPSJ 31, 11 (Nov. 1990)
An Analysis Method for Mutual Exclusion Overhead of a Tightly-Coupled
Multiprocessor
Masaaki Iwasaki (Hitachi Central Research Laboratory, 8th Department),
et. al.
Transactions of IPSJ 31, 11 (Nov. 1990)
An Image Retrieval Method using Inquiries on Spatial Relationships
Tomoichi Takahashi (ATR Communication Systems Research Laboratories), et.
al.
Transactions of IPSJ 31, 11 (Nov. 1990)
Minimization of Incompletely Specified Sequential Machines by Boolean
Processing
Shinobu Matsumoto (Department of Information Science, Faculty of
Engineering, Kyoto University), et. al.
Transactions of IPSJ 31, 11 (Nov. 1990)
A Multiway Merge Sorter for Sorting of Large Databases
Tetsuji Satoh (NTT Communications and Information Processing
Laboratories, Dedicated Systems Laboratory), et. al.
Transactions of IPSJ 31, 11 (Nov. 1990)
Construction of the Tohoku University Academic Information Network System -
TAINS
Masato Sakata (Computer Center, Tohoku University), et. al.
Transactions of IPSJ 31, 11 (Nov. 1990)
Mean Value Evaluation of Point-to-point Response Time for a LAN Communication
System with One Relay Node
Yoshihiko Ebihara (Institute of Information Sciences and Electronics,
University of Tsukuba), et. al.
Transactions of IPSJ 31, 11 (Nov. 1990)
Construction and Manipulation of a Geometric Model with Geometric Constraints
Yasuo Hidaka (Department of Electric Engineering, Faculty of Engineering,
The University of Tokyo), et. al.
Transactions of IPSJ 31, 11 (Nov. 1990)
A Constraint-based Explanation Function for a Knowledge-based Planning System
Michiko Oba (Systems Development Laboratory, Hitachi Ltd.), et. al.
Transactions of IPSJ 31, 11 (Nov. 1990)
An Algorithm for Disambiguating Noun Meanings in Noun-noun Compounds of Kanji
Characters
Masato Ishizaki (NTT Communications and Information Processing
Laboratories)
Transactions of IPSJ 31, 11 (Nov. 1990)
Analysis of Japanese Popular Music by the Theory of KM2O-Langevin Equations
Norio Konno (Faculty of Engineering, The Muroran Institute of
Technology), et. al.
Transactions of IPSJ 31, 12 (Dec. 1990)
Real Fast Fourier Transform on Quasi-Equidistant Sample Points
Hiroshi Sugiura (Department of Information Engineering, Faculty of
Engineering, Nagoya University), et. al.
Transactions of IPSJ 31, 12 (Dec. 1990)
An Efficient Sentence Analysis Method for General Phrase-Structure Grammars
Tatsuya Hayashi (Fujitsu Laboratories Ltd.)
Transactions of IPSJ 31, 12 (Dec. 1990)
Analysis Methods for Japanese Idomatic Predicates
Masahiro Oku (NTT Communications and Information Processing Laboratories)
Transactions of IPSJ 31, 12 (Dec. 1990)
Object Identification by Natural Language
Akira Hakata (Fujitsu Laboratories Ltd.), et. al.
Transactions of IPSJ 31, 12 (Dec. 1990)
Road Scene Interpretation and Modeling Based on Dynamic Multi-Sensor
Integration
Minoru Asada (Mech. Eng. for Computer-Controlled Machinery, Osaka
University), et. al.
Transactions of IPSJ 31, 12 (Dec. 1990)
Understanding of Library Cataloging Cards Using a Knowledge-based Approach
Qin Luo (Department of Information Engineering, Faculty of Engineering,
Nagoya University), et. al.
Transactions of IPSJ 31, 12 (Dec. 1990)
An Organizational Model of Computation and Its Application
Takeo Maruichi (Electrical Engineering, Faculty of Science and
Technology, Keio University), et. al.
Transactions of IPSJ 31, 12 (Dec. 1990)
COOP/VM: A Programming Environment for Experimental Parallel Processing
Tatsunori Kanai (Department of Information Science, Faculty of
Engineering, Kyoto University), et. al.
Transactions of IPSJ 31, 12 (Dec. 1990)
A Dynamic Load-Balancing Strategy on Parallel Machines through Remapping of
Programs and Processes
Youji Kohda (International Institute for Advanced Study of Social
Information Science, Fujitsu Ltd.)
Transactions of IPSJ 31, 12 (Dec. 1990)
A Program Design Visualization System
Itaru Ichikawa (Fujitsu Ltd.), et. al.
Transactions of IPSJ 31, 12 (Dec. 1990)
An Experimental Evaluation of Team Performance in Program Development based on
Extention of the Programmer Performance Model
Kenichi Matsumoto (Department of Information and Computer Sciences,
Faculty of Engineering Science, Osaka University), et. al.
Transactions of IPSJ 31, 12 (Dec. 1990)
Keystroke Data Collection System for a Personal Computer
Osamu Morikawa (Industrial Products Research Institute), et. al.
Transactions of IPSJ 31, 12 (Dec. 1990)
Time-Symbolic Simulation for Accurate Timing Verification of Logic Circuits
Nagisa Ishiura (Department of Information Science, Faculty of
Engineering, Kyoto University), et. al.
Transactions of IPSJ 31, 12 (Dec. 1990)
A Study of FGMP; Fine Grain Multi-Processor
Takashi Matsumoto (IBM Research, Tokyo Research Laboratory)
Transactions of IPSJ 31, 12 (Dec. 1990)
A Public-key Crytosystem Based on Diophantine Equations
Masahiro Yagisawa (Showa Engineering Corporation)
Transactions of IPSJ 31, 12 (Dec. 1990)
---------------------END OF REPORT------------------------------------------