Search results for "FGCS"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Gian Piero Zarri	Intelligent Information Retrieval: An Interesting Application Area for the New Generation Computer Systems.	FGCS	1984	DBLP BibTeX RDF
1	Naoyuki Tamura, Koichi Wada 0003, Hideo Matsuda, Yukio Kaneda, Sadao Maekawa	Sequential Prolog Machine PEK.	FGCS	1984	DBLP BibTeX RDF
1	Luís Moniz Pereira, Roger Nasr	Delta-Prolog: A Distributed Logic Programming Language.	FGCS	1984	DBLP BibTeX RDF
1	Kunio Murakami, Takeo Kakuta, Rikio Onai	Architectures and Hardware Systems: Parallel Inference Machine and Knowledge Base Machine.	FGCS	1984	DBLP BibTeX RDF
1	Mehmet Dincbas, Jean-Pierre Le Pape	Metacontrol of Logic Programs in Metalog.	FGCS	1984	DBLP BibTeX RDF
1	Hans Diel	Concurrent Data Access Architecture.	FGCS	1984	DBLP BibTeX RDF
1	Hajimu Mori, Keiko Mitsumoto, Tomyyuki Fujita, Satoshi Goto	Knowledge-Based VLSI Routing System - WIREX.	FGCS	1984	DBLP BibTeX RDF
1	C. A. R. Hoare, A. W. Roscoe 0001	Programs as Executable Predicates.	FGCS	1984	DBLP BibTeX RDF
1	Koichi Furukawa, Toshio Yokoi	Basic Software System.	FGCS	1984	DBLP BibTeX RDF
1	Shimon Cohen	Multi-Version Structures in Prolog.	FGCS	1984	DBLP BibTeX RDF
1	Daniel P. Miranker	Performance Estimates for the DADO Machine: A Comparison of Treat and Rete.	FGCS	1984	DBLP BibTeX RDF
1	Dan D. Kogan, Michael J. Freiling	SIDUR - A Structuring Formalism for Knowledge Information Processing Systems.	FGCS	1984	DBLP BibTeX RDF
1	Alberto Martelli, Gianfranco Rossi	Efficient Unificatioin with Infinite Terms in Logic Programming.	FGCS	1984	DBLP BibTeX RDF
1	Keith L. Clark, Steve Gregory	Notes on System Programming in Parlog.	FGCS	1984	DBLP BibTeX RDF
1	Daniel G. Bobrow	If Prolog is the Answer, what is the Question?	FGCS	1984	DBLP BibTeX RDF
1	Yuzuru Tanaka	MPDC: Massive Parallel Architecture for Very Large databases.	FGCS	1984	DBLP BibTeX RDF
1	Kazukiyo Kawanobe	Current Status and Future Plans of the Fifth Generation Computer Systems Project.	FGCS	1984	DBLP BibTeX RDF
1	Hiroshi Motoda, Naoyuki Yamada, Kenichi Yoshida	A Knowledge based System for Plant Diagnosis.	FGCS	1984	DBLP BibTeX RDF
1	Derek R. Brough, Adrian Walker	Some Practical Properties of Logic Programming Interpreters.	FGCS	1984	DBLP BibTeX RDF
1	Kuniaki Uehara, Ryo Ochitani, Osamu Mikami, Jun'ichi Toyoda	Steps Toward an Actor-Oriented Integrated Parser.	FGCS	1984	DBLP BibTeX RDF
1	Koichi Furukawa, Akikazu Takeuchi, Susumu Kunifuji, Hideki Yasukawa, Masaru Ohki, Kazunori Ueda	MANDELA: A LogicBased Knowledge Programming System.	FGCS	1984	DBLP BibTeX RDF
1	J. I. Kim, Seungryul Maeng, Jung Wan Cho	A Relational Dataflow Database Machine Based on Hierarchical Ring Network.	FGCS	1984	DBLP BibTeX RDF
1	David May 0001, Roger Shepherd	The Transputer Implementation of Occam.	FGCS	1984	DBLP BibTeX RDF
1	Kazunori Ueda, Takashi Chikayama	Efficient Stream/Array Processing in Logic Programming Languages.	FGCS	1984	DBLP BibTeX RDF
1	Takashi Chikayama	Unique Features of ESP.	FGCS	1984	DBLP BibTeX RDF
1	Tohru Moto-Oka, Hidehiko Tanaka, Hitoshi Aida, Keiji Hirata 0002, Tsutomu Maruyama	The Architecture of a Parallel Inference Engine - PIE.	FGCS	1984	DBLP BibTeX RDF
1	Shunichi Uchida, Toshio Yokoi	Sequential Inference Machine: SIM Progress Report.	FGCS	1984	DBLP BibTeX RDF
1	Luis Fariñas del Cerro, Ewa Orlowska	DAL - A Logic for Data Analysis.	FGCS	1984	DBLP BibTeX RDF
1	Atsushi Togashi, Shoichi Noguchi	A Program Transformation from Equational Programs into Logic Programs.	FGCS	1984	DBLP BibTeX RDF
1	Kazuhiro Fuchi	Revisiting Original Philosophy of Fifth Generation Computer Systems Project.	FGCS	1984	DBLP BibTeX RDF
1	Ehud Shapiro	Systolic Programming: A Paradigm of Parallel Processing.	FGCS	1984	DBLP BibTeX RDF
1	Hiroshi Sakai, Kazuhide Iwata, Shigeo Kamiya, Masaaki Abe, Akio Tanaka, Shigeki Shibayama, Kunio Murakami	Design and Implementation of the Relational Datbase Engine.	FGCS	1984	DBLP BibTeX RDF
1	Norihisa Suzuki, Koichi Kubota, Takashi Aoki	Sword32: A Bytecode Emulating Micorprocessor for Object-Oriented Languages.	FGCS	1984	DBLP BibTeX RDF
1	Masahiko Sato 0001, Takafumi Sakurai	QUTE: A Functional Language Based on Unification.	FGCS	1984	DBLP BibTeX RDF
1	Yutaka Ogawa, Kenichi Shima, Toshiharu Sugawara, Shigeru Takagi	Knowledge Representation and INference Environment: KRINE, - An Approach to Integration of Frame, Prolog, and Graphics.	FGCS	1984	DBLP BibTeX RDF
1	Taisuke Sato, Hisao Tamaki	Transformational Logic Program Synthesis.	FGCS	1984	DBLP BibTeX RDF
1	Verónica Dahl	More on Gapping Grammars.	FGCS	1984	DBLP BibTeX RDF
1	Takashi Yokomori	A Note on the Set Abstraction in Logic Programming Language.	FGCS	1984	DBLP BibTeX RDF
1	Michael D. Poe	Control of Heuristic Search in a Prolog-based Microcode Synthesis Expert System.	FGCS	1984	DBLP BibTeX RDF
1	Brigitte Grau	Stalking "Coherence" in the Topical Jungle.	FGCS	1984	DBLP BibTeX RDF
1	Kazuhiro Fuchi	Logical Derivation of a Prolog Interpreter.	FGCS	1984	DBLP BibTeX RDF
1	Shigeki Shibayama, Takeo Kakuta, Nobuyoshi Miyazaki, Haruo Yokota, Kunio Murakami	Query Processing Flow on RDBM Delta's Functionally-Distributed Architecture.	FGCS	1984	DBLP BibTeX RDF
1	Andy Lowry, Stephen Taylor, Salvatore J. Stolfo	LPS Algorithms.	FGCS	1984	DBLP BibTeX RDF
1	Andrzej Ciepielewski, Seif Haridi	Execution of Bagof on the Or-Parallel Token Machine.	FGCS	1984	DBLP BibTeX RDF
1	Hiroto Yasuura	On Parallel Computational Complexity of Unification.	FGCS	1984	DBLP BibTeX RDF
1	Yoav Shoham, Drew V. McDermott	Directed Relations and Inversion of Prolog Programs.	FGCS	1984	DBLP BibTeX RDF

Publications at "FGCS"( http://dblp.L3S.de/Venues/FGCS )