Parallel Processing for Artificial Intelligence 2

Architectures. Hybrid systems on a multi-grain parallel architecture (G. Ouvradou, A.P. Maubant, A. Thépaut). An abstract machine for implementing connectionist and hybrid systems on multi-processor architectures (Y. Lallement, T. Cornu, S. Vialle). A dense, massively parallel architecture (T. Reski, W.B. Strothmann). Languages. Using confluence to control parallel production systems (J.G. Schmolze, W. Snyder). Toward an architecture independent high level parallel programming model for artificial intelligence (M.S. Berlin). An object-oriented approach for programming the connection machine (L. Hotz). Automatic parallelisation of LISP programs (E. Furse, K.H. Sewell). General Algorithms. Simulation analysis of static partitioning with slackness (C.B. Suttner, M.R. Jobmann). Parallel distributed realization for constraint satisfaction (W. Hower, S. Jacobi). A first step towards the massively parallel game-tree search: a SIMD approach (V.-D. Cung, L. Gotte). Initialization of parallel branch-and-bound algorithms (D. Henrich). A model for parallel deduction (U. Assmann). Applications. Toward real-time motion planning (D.J. Challou, M. Gini, V. Kumar). Toward massively parallel spoken language translation (K. Oi, E. Sumita, O. Furuse, H. Iida, H. Kitano). Weather forecasting using memory-based reasoning (T. Mohri, M. Nakamura, H. Tanaka). Scalability of an OR-parallel theorem prover on a network of transputer - a modelling approach (J. Schumann, M. Jobmann). A coarse grained parallel induction heuristic (R.A. Pearson). Fuzzy logic controlled dynamic allocation system (K. Stoffel, I. Law, B. Hirsbrunner).