MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Parallelization in Inference Systems" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

22 documents found, showing 1 through 10. Next 10 →

ATOM

PARIS: A Parallel Inference System
by Sanda Harabagiu, A Harabagiu, Dan Moldovan — 1996
…PARIS: A Parallel Inference System 1 Sanda Harabagiu and Dan Moldovan University of Southern…
Add To MetaCart

Random Competition: A Simple, but Efficient Method for Parallelizing Inference Systems
by Wolfgang Ertel, Wolfgang Ertel — 1990 — 342/27/90 A, Institut fur Informatik, Technische Universitat Munchen
… for Parallelizing Inference Systems Wolfgang Ertel Report FKI-143-90 Dezember 1990 Uberarbeitete Version Mai 1991…
Cited by 8 (2 self) – Add To MetaCart

A Parallel System for Textual Inference
by Sanda M. Harabagiu, A M. Harabagiu, Member Ieee, Dan Moldovan, Senior Memeber Ieee — 1999
…. In this paper we present a parallel inference system that operates on a very large linguistic knowledge base…
Cited by 2 (0 self) – Add To MetaCart

A Parallel System for Text Inference Using Marker Propagations
by Sanda M. Harabagiu, A M. Harabagiu, Ieee Computer Society, Dan I. Moldovan, Senior Member — 1998
… by parallel searches on a large knowledge base. 2 THE STRUCTURE OFTHE INFERENCE SYSTEM 2.1 System Overview A…
Cited by 5 (2 self) – Add To MetaCart

Design of the Kernel Language for the Parallel Inference Machine
by Kazunori Ueda, Takashi Chikayama — 1990
… to play an important role in bridging the gap between parallel inference systems and knowledge information…
Cited by 44 (9 self) – Add To MetaCart

Potentiality of Parallelism in Logic
by Franz Kurfeß — 1991
… and Fronhofer, B.; Parallelization in Inference Systems. Springer Verlag 1 Parallelism in Inference Systems…
Add To MetaCart

Automated Theorem Proving in Software Engineering
by Johann Schumann
… Forschungsgemeinschaft within the Sonderforschungsbereich 342, Subproject A5: PARIS (Parallelization in Inference Systems…
Cited by 7 (2 self) – Add To MetaCart

Automated Theorem Proving in Software Engineering --- Position Paper ---
by Johann Schumann Institut, Johann Schumann
… Forschungsgemeinschaft within the Sonderforschungsbereich 342, Subproject A5: PARIS (Parallelization in Inference Systems…
Add To MetaCart

PFSLib - A File System for Parallel Programming Environments
by Stefan Lamberts, Reihe B, Christian Röder, B Franz Abstreiter Michael Friedrich, B Erwin Loibl, Hans Obermaier, B Malte Grosse, Christian B. Suttner, A Parallel, Arndt Bode, Thomas Ludwig, Vaidy Sunderam, Wism Uller — 1996
… for Specifying Parallel Inference Systems 342/23/91 A Astrid Kiehn: Local and Global Causes 342/24/91 A Johann M…
Cited by 4 (4 self) – Add To MetaCart

Can Logic Programming Execute as Fast as Imperative Programming? [References]
by Peter Lodewijk Van Roy, E. Tick, D. H. D. Warren, Towards Pipelined, Prolog Processor, Symposium On Logic — 1990
…-PSI---A Progress Report of Parallel Inference Systems and Parallel Processing (presentation), ICOT, March 1990. 65…
Cited by 95 (4 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB