Computers and Artificial Intelligence, Vol. 20, 2001

Volume 20, Number 1, 2001

Mihhail Matskin, Enn Tyugu: Strategies of Structural Synthesis of Programs and its Extensions.
Bertil Schmidt, Heiko Schröder, Manfred Schimmler: Tomographic Image Reconstruction on the Instruction Systolic Array.
Nadim Obeid: On the Connection Between Normal Default Reasoning and Conditional Logic.
Yi-Fan Wang, Mei-Hua Hsu, Yu-Liang Chuang: Predicting CPU Utilization by Fuzzy Stochastic Prediction.
Zineb Habbas, Francine Herrmann, Michaël Krajecki: A Fast Parallel Tree Contraction for the Ray-object Calculus Using Open-MP.

Ioannis Caragiannis, Christos Kaklamanis, Giuseppe Persiano: Wavelength Routing in All-optical Tree Networks: A Survey.
Dimitris Fotakis, Sotiris E. Nikoletseas, Vicky G. Papadopoulou, Paul G. Spirakis: Hardness Results and Efficient Approximations for Frequency Assignment Problems: Radio Labelling and Radio Coloring.
Peter Ruzicka: On Efficiency of Path Systems Induced by Routing and Communication Schemes.
Shmuel Zaks: Design Issues in ATM and Optical Networks.

Rujie Liu, Baozong Yuan: Automatic Eye Feature Extraction in Human Face Images.
Bertil Schmidt, Heiko Schröder: A Hybrid Architecture for Multimedia Processors.
Gerardo Bandera, Emilio L. Zapata: Using Semantical Information to Enhance the Parallel Sparse Performance.
Juan M. Orduña, Federico Silla, José Duato: Towards a Communication-Aware Task Scheduling Strategy for Heterogeneous Systems.
Stephen Taylor, Brian Knight, Miltos Petridis, John Ewer, Edwin Galea: A Case Based Reasoning System Capturing Fire Modelling Expertise.

Hsuan-Ming Feng, Wen-Hsing Kao: A Rule-Based Scalar Tuning Fuzzy Control System.
Wu Jigang, Lei Yunfei, Heiko Schröder: A Minimal Reduction Approach for the Collapsing Knapsack Problem.
Liberios Vokorokos: Data Flow Computing Model: Application for Parallel Computer Systems Diagnosis.
Petr Salinger, Pavel Tvrdík: All-to-All Scatter in de Bruijn and Kautz Networks.
Dirk Bongartz: On the Approximation Ratio of the Group-Merge Algorithm for the Shortest Common Superstring Problem.

Predrag Janicic, Nenad Dedic, Goran Terzic: On Different Models for Generating Random SAT Problems.
A. C. Cem Say: Improved Reasoning About Infinity Using Qualitative Simulation.
José M. Molina, Inés María Galván, José María Valls, Andrés Leal: Optimizing the Number of Learning Cycles in the Design of Radial Basis Neural Networks Using a Multi-Agent System.
Mingxing Hu, Baozong Yuan, Xiaofang Tang: A New Robust Fundamental Matrix Estimation Based on Genetic Algorithm.

Ephraim Nissan, Antonio A. Martino: Guest Editorial.
Ephraim Nissan: An AI Formalism for Competing Claims of Identification: Capturing the "Smemorato di Collegno" Amnesia Case.
Carmelo Asaro, Ephraim Nissan: The DAEDALUS System: a Tool for the Italian Investigating Magistrate.
Ghita Holmstrom-Hintikka: Expert Witnesses in the Interrogative Model.
Afzal Ballim, Tomas By, Yorick Wilks, Christian Lieske: Modelling Agent Attitudes in Legal Reasoning.