ICCI 2000 Accepted Papers

The 10th International Conference on Computing and Information ICCI '2000, Kuwait, November 18-21, 2000

http://mc s.sci.kuniv.edu.kw/~icci2000

http://kais.mine s.edu/~xwu/icci-00/

Accepted Papers
(To read any paper follow this link)

Expressing Periodic Temporal Queries in SQL3 (K102), by Atakan Kurt
Algorithms for L(2,1)-labelings of Recursive Graph Families (K105), by John G. Del Greco and Chandra N. Sekharan
Case-based Antibiotics Therapy Advice: Focusing on Retrieval Algorithms (K108), by Rainer Schmidt, Lothar Gierl
Congestion Control in Multipoint-to-Point LAN Interconnection over ATM Networks (K109), by S. Habrah, H. Hassanein and H. AboElfotoh
Towards a New Case-Based Reasoning Technique for Electronis Commerce (K110), by Esma Aimeur, Mathieu Vezeau
A Concurrent Programming Model using Single-Assignment, Single-writer, Multiple-reader Variables (K111), by Matthew Huntbach
Practical Heuristic Models for Solving the 15-Puzzle Problem (K113), by Attia El-Sheikh
Two-Stages Code Generation for Parameterized Processor Architectures (K114), by Peter Bachmann
Conditions for the State Transfer On Virtual Synchronous Systems (K116), by L.M. P.Cabanas, J.P. Mestras
Perfomanse Evaluation of different Secret Key Agrement Protokols Based on noisy Channels (K117), by V.Korjik, V.Yakovlev, V.Sinjuk
Complexity Hierarchies on Circuits under Restricted Uniformities (K118), by Chuzo Iwamoto
Credit Classification: A Comparison of Logit Models and Decision Trees (K120), by Philip Joos, Koen Vanhoof, Hubert Ooghe & Nathalie Sierens
Improving Search Space in a Narrowing Calculus (K122), by Mohamed Hamada
Double Feedback in Requirements Specification (K124), by Petr Kroha
WDBQS: A Unified Access to Distant Databases via A Simple Web-Tool (K125), by C. Sallaberry and E. Andonoff
Qualitative Theory Using Information Relevance in Uncertain Reasoning (K126), by M. Chachoua and D. Pacholczuk
Checking Nonmonotonic Knowledge Bases (K128), by Eric Gregoire
Modeling for Managerial Decision-making based on UML Diagrams (K138), by Qijia Tian, Jian Ma, and Zhohgzhi Shi
Simulation-based modelling in cache design performance analysis (K140), by Hassan Diab and Hassan Tabbara
Using Inductive Learning Techniques for Knowledge Discovery in Relational Data (K141), by Ivo Marinchev
Multiple Model Based Computation: Theory and Practice (K144), by Jianchao Yao
How to Validate KBS in the Early Stages of Development (K147), by Almudena Sierra-Alonso
Mathematical Models for Complex Evaluation of Information Systems Operation Quality (K149), by Andrey Kostogryzov
Types of Independence for Imprecise Reliability (K151), by Lev V. Utkin and Vladimir S. Utkin
Concatenative Arabic Speech Synthesis Using Large Speech Database (K156), by Wael M. Hamza and Mohsen A. Rashwan
Logical approach to knowledge in imperfect information multi-agent systems (K159), by Ahti Pietarinen
Tested Elements Reduction for Improving Structural Program Testing and the Coverage Measurements (K160), by J.-C. Lin and P.-L. Yeh
Sequential Cover Rule Induction with PA3 (K161), by de Almeida and Bento
Bayesian Multinet Classifiers (K162), by Petri Kontkanen, Petri Myllymaki, Henry Tirri, Kimmo Valtonen
Computing the Disjunctive Closed World Assumption (K163), by Kewen Wang and Lizhu Zhou
Cost Analysis of Serpentine Tape Data Placement Techniques in Support of Continuous Media Display (K164), by A. E. Dashti, C. Shahabi & R. Zimmermann
Weak sequential consistency models for distributed shared memory (K166), by Z. Huang, C. Sun, S. Cranefield and M. Purvis
Wavelet Multi-Layer Perceptron Neural Network for Time-Series Prediction (K167), by Kok Keong Teo, Lipo Wang and Zhiping Lin
Knowledge Aquisition Using Virtual Spaces (K169), by Ake Malmberg
Shortest Point-Visible Paths on Polyhedral Surfaces (K170), by Ramtin Khosravi, Mohammad Ghodsi and Mana Taghdiri
Theoretical and Practical Aspects of Multi-Installment Distribution for the Processing of Multiple Divisible Loads on Bus Networks (K171), by Gerassimos Barlas and Bharadwaj Veeravalli
Synchronous and Asynchronous Communications in Composable Parameterized High-Level Petri Nets (K172), by Raymond Devillers and Hanna Klaudel
Configuration and Reconfiguration of Industrial Products Using ConBaCon) (K173), by U. John and U. Geske
On the design and implementation of reliable point-to-point asynchronous message passing system (K178), by A.S. Bavan and E. Illingworth
Developing Application based on Markup Languages with XML Documents, Document Transformations and Software Components (K180), by J.L. Sierra, B. Fernandez-Manjon, A. Fernandez-Valmayor, A. Navarro
Use of Principal Component Analysis and Fuzzy Clustering for Knowledge Discovery from Process Operational Data (K181), by Y.M. Sebzalli and X.Z. Wang
SGPOM: A Multimedia Object Persistence Management Service under a Distributed Environment (K182), by Andre Luis V. Coelho et al
An Advanced Reliable Multicast in Mobile Networks (K183), by Byung-Won On, Haesun Shin, Miae Choi, and Myong-Soon Park
Rough Set Based WebCT Learning (K185), by Aileen Liang et al
A New OCR System Similar To ASR System (K188), by Mohsin Rashwan
Performance Evaluation of TCP/IP over EDGE (K189), by H. P. Tan, A. Lo and W. K. G. Seah
Applying Neural Networks in Case-Based Reasoning Adaptation for Cost assessment of Steel Buildings (K190), by Essam Amin M. Lotfy and Ahmed Sameh Mohamed
Evolution of Recurrent Cascade Correlation Networks with a Distributed Collaborative Species (K191), by N.A. Ghada and A.S. Mohmed
Towards a Three-Level Methodology for Developing Cooperative Information Systems (K193), by Nasreddine Aoumeur et al.
A New Video Coding Scheme Based On The H.263 Standard and Entropy Constrained Vector Quantization (K194), by M. El-Saban, S. Abdel Azeem, and M. Rashwan
ATM Switch Design using Distribute-Merge Network (K196), by D. Abu-Saymeh, Ghulam M. Chaudhry and I.G. Akram
The Ring Structure: Qualitative Representations in Large Spatial Databases (K198), by B.A. El-Geresy and Alia Abdelmoty
A Parameter Based Combined Classifier for Invariant Face Recognition (K199), by A. S. Tolba
A PERF Solution For Distributed Query Optimization (K201), by Ramzi A. Haraty and Roula Fany
Using Demodulation in Semantic Tree Theorem Provers (K207), by Ali Alanjawi
Design Trade off on Shared Memory Clustered Massively Parallel Processing Systems (K208), by H.S. Shahhoseini and M. Naderi
On the Benefits of Rewrite Logic as a Semantics for Algebraic Petri Nets in Computing Siphons and Traps (K209), by Nasreddine Aoumeur, Kamel Barkaoui, and Gunter Saake