WorldCat Identities

Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan)

Overview
Works: 1,244 works in 1,770 publications in 1 language and 3,972 library holdings
Genres: Conference proceedings  Periodicals 
Roles: Editor, Other
Classifications: QA76.6, 005.1
Publication Timeline
Key
Publications about Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan) Publications about Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan)
Publications by Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan) Publications by Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan)
Most widely held works about Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan)
 
Most widely held works by Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan)
Logic programming '86 : proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986 by Eiiti Wada ( Book )
3 editions published in 1987 in English and held by 268 WorldCat member libraries worldwide
This volume contains the papers presented, and subsequently submitted for publication, at the 5th Logic Programming Conference, held June 23-26, 1986 in Tokyo. Topics covered include Prolog machine architecture, Prolog processors, variations of Prolog language, and applications of Prolog to natural language understanding, and expert systems. Most of the works reported in the volume are related to the Japanese Fifth Generation Computer Project allowing readers to compare results from this project with those from similar projects currently being conducted in other countries
Fifth generation computer systems 1984 : proceedings of the International Conference on Fifth Generation Computer Systems 1984, Tokyo, Japan, November 6-9, 1984 by Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan) ( Book )
11 editions published between 1984 and 1985 in English and held by 219 WorldCat member libraries worldwide
Programming of future generation computers : proceedings of the First Franco-Japanese Symposium on Programming of Future Generation Computers, Tokyo, Japan, 6-8 October 1986 by Franco-Japanese Symposium on Programming of Future Generation Computers ( Book )
2 editions published in 1988 in English and held by 112 WorldCat member libraries worldwide
Proceedings of the International Conference on Fifth Generation Computer Systems 1988 : Nov. 28-Dec. 2, 1988, Tokyo Prince Hotel, Tokyo Japan by International Conference on Fifth Generation Computer Systems ( Book )
3 editions published in 1988 in English and held by 62 WorldCat member libraries worldwide
ICOT journal by Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan) ( )
in Undetermined and English and held by 23 WorldCat member libraries worldwide
FGCS '92 : fifth generation computer systems 1992 ( Book )
1 edition published in 1992 in English and held by 19 WorldCat member libraries worldwide
Fifth generation computer systems 1992 ( Book )
4 editions published in 1992 in English and held by 17 WorldCat member libraries worldwide
Fifth generation computer systems 1988 : proceedings of the International Conference on Fifth Generation Computer Systems 1988, Tokyo, Japan, November 28-December 2, 1988 by International Conference on Fifth Generation Computer Systems ( Book )
3 editions published in 1988 in English and held by 13 WorldCat member libraries worldwide
CAL, a theoretical background of constraint logic programming and its applications by Kō Sakai ( Book )
4 editions published between 1988 and 1990 in English and held by 10 WorldCat member libraries worldwide
Abstract: "Constraint logic programming (CLP) is an extension of logic programming by introducing the facility of writing and solving constraints in a certain domain. CAL (Contrainte avec Logique) is a CLP language in which (possibly non-linear) polynomial equations can be written as constraints, while almost all the other CLP languages proposed so far have concentrated only on linear equations and inequations. This paper describes a general semantics of CLP including CAL, and shows the validity of CAL in this framework."
Fifth generation computer systems project by Takashi Kurozumi ( Book )
4 editions published between 1987 and 1991 in English and held by 10 WorldCat member libraries worldwide
Abstract: "Objectives of the Fifth Generation Computer System (FGCS) project, which has been supported by MITI as a national project, are to research and to develop new computer technologies, especially parallel processing and inference technologies, for knowledge information processing systems. This paper describes the planning of the FGCS project, the framework of the FGCS, the outline of the R & D plan and the state of the art of the FGCS project."
A cooperative logic design expert system on a multiprocessor ( Book )
4 editions published between 1990 and 1991 in English and held by 10 WorldCat member libraries worldwide
Abstract: "CAD systems that can quickly produce quality designs are needed for the expanding VLSI market. This paper presents a cooperative design mechanism in a cooperative logic design expert system on a multiprocessor, co-LODEX. co-LODEX accepts constraints on area and speed, and outputs a CMOS standard cell netlist that satisfies the constraints. Short turnaround is expected through the combination of parallel processing by several processors and their cooperation. The cooperative design mechanism is based on an evaluation-redesign mechanism using assumption-based reasoning within a single processor. Design alternatives are considered as assumptions and constraint violations as contradictions
Boolean-valued logic programming language scheme LIFE-III : a summary by Jinsei Yamaguchi ( Book )
4 editions published in 1991 in English and held by 10 WorldCat member libraries worldwide
Abstract: "We define the notion of logic-oriented inferential framework extension LIFE-III as an AI language scheme and prove the theoretical background. Especially, the concept of Boolean-valued relativized completeness, which will play an important role in many fields of AI, is proposed and it is systematically studied that what kinds of relativized completeness are satisfied by LIFE-III."
Fifth generation computer systems 1988 : proceedings of the International Conference on Fifth Generation Computer Systems 1988, Tokyo, Japan, November 28-December, 1988 by International Conference on Fifth Generation Computer Systems ( Book )
2 editions published in 1988 in English and held by 9 WorldCat member libraries worldwide
Hardware implementation of dynamic load balancing in the Parallel Inference Machine PIM/c ( Book )
4 editions published between 1991 and 1992 in English and held by 9 WorldCat member libraries worldwide
Abstract: "This paper proposes and evaluates the hardware implementation required for dynamic load balancing in the prototype PIM/c of the Parallel Inference Machine (PIM). On one hand, PIM/c is configured along a hierarchical structure of loosely coupled TCMP clusters (TCMP -- Tightly-Coupled Multi-Processors) in order to utilize the high locality of logic programs. On the other hand, an LCMP (Loosely-Coupled Multi- Processors) approach enables us to build a more scalable machine using a crossbar network. Load balancing algorithms and corresponding hardware suitable for each hierarchy are used. First, for dynamic load balancing in the TCMP hierarchy, we propose a register with broadcast facility to request load dispatching
Unfold/fold transformation of stratified programs by Hirohisa Seki ( Book )
4 editions published between 1988 and 1990 in English and held by 9 WorldCat member libraries worldwide
Abstract: "This paper describes some extensions of Tamaki-Sato's [16] unfold/fold transformation of definite programs. We first propose unfold/fold rules also preserving the finite failure set (by SLD-resolution) of a definite program, which the original rules proposed by Tamaki and Sato do not. Then, we show that our unfold/fold rules can be extended to rules for stratified programs, and prove that both the success set and the finite failure set (by SLDNF-resolution) of a stratified program are preserved. Preservation of equivalence of the perfect semantics [12] is also discussed."
Inference machines in FGCS project : (hardcopy of the slides) by Shun-Ichi Uchida ( Book )
4 editions published in 1987 in English and held by 8 WorldCat member libraries worldwide
Metis : a term rewriting system generator by Akihiko Ohsuga ( Book )
4 editions published between 1986 and 1992 in English and held by 8 WorldCat member libraries worldwide
Abstract: "The TRS (term rewriting system) Working Group of ICOT has been studying applications of TRSs to the intelligent programming system. As a result, we have implemented a TRS generator called Metis, an experimental tool with the many functions required for such a system. This paper describes the features of Metis and several experiments with it."
Boolean Groebner Bases by Kō Sakai ( Book )
4 editions published between 1988 and 1991 in English and held by 8 WorldCat member libraries worldwide
Abstract: "We studied several important properties of Boolean polynomial rings in [SaSa 90]. Especially we saw ideal plays a central role for solving a Boolean constraint. This paper gives an algorithm which produces a rewriting system for a given finitely generated ideal in the ring of Boolean polynomials. The rewriting system reduces all Boolean polynomials that are equivalent under the ideal to the same normal form."
Complete E-unification based on an extension of the Knuth-Bendix completion procedure by Akihiko Ohsuga ( Book )
3 editions published between 1991 and 1992 in English and held by 8 WorldCat member libraries worldwide
Abstract: "A unifier is a substitution that makes two terms syntactically equal. In this paper, we discuss a more semantical unifier: an equational unifier, which is a substitution that makes two terms equal modulo a congruence relation. As a result we will give a general procedure that enumerates a complete set of equational unifiers for a given pair of terms under a given congruence."
Time-homogeneous parallel annealing algorithm by Kouichi Kimura ( Book )
4 editions published in 1991 in English and held by 8 WorldCat member libraries worldwide
Abstract: "We propose a new parallel simulated annealing algorithm. Each processor maintains one solution and performs the annealing process concurrently at a constant temperature that differs from processor to processor, and the solutions obtained by the processors are exchanged occasionally in some probabilistic way. An appropriate cooling schedule is automatically constructed from the set of temperatures that are assigned to the processors. Thus we can avoid the task of carefully reducing the temperature according to the time, which is essential for the performance of the conventional sequential algorithm
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.82 (from 0.35 for Fifth gene ... to 1.00 for Publicatio ...)
Alternative Names
ICOT
Institute for New Generation Computer Technology
Institute for New Generation Computer Technology (Japan)
Institute for New Generation Computer Technology Tōkyō
Shinsedai Konpyuta Gijutsu Kaihatsu Kiko
Shinsedai Konpyūta Gijutsu Kaihatsu Kikō (Japan)
シンセダイ コンピュータ ギジュツ カイハツ キコウ
新世代コンピュータ技術開発機構 (Japan)
Languages
English (74)
Covers