CSDL - Proceedings I

Conference Organization (PDF)

pp. x

Keynote Session I: Computational Neurology and Psychology

Hybrid Computa ion wi h an Attrac or Neural Ne work (Abstract)

James A. Anderson, Brown University

pp. 3

PDF

From Embodied Cognitive Science To Synthetic Psychology (Abstract)

Michael R.W. Dawson, University of Alberta

pp. 13

PDF

How Do I Trust Thee? Let Me Count The Ways (PDF)

Tom Maibaum, King's College London

pp. 23

Keynote Session II: Cognitive Informatics

Informatics and Distributed Representation; Taking Issue with Disembodied Realism (Abstract)

Antony Bryant, Leeds Metropolitan University

pp. 27

PDF

On Cognitive Informatics (Abstract)

Yingxu Wang, University of Calgary

pp. 34

PDF

Problems, Solutions and Information Systems Development (Abstract)

Dilip Patel, South Bank University

pp. 43

PDF

Cognitive Informatics: a Knowledge Engineering Perspective (Abstract)

Christine W. Chan, University of Regina

pp. 49

PDF

Keynote Session III: System Modeling

Model and Heuristic Technique for Efficient Verification of Component-Based Software Systems (Abstract)

Jeffrey J.P. Tsai, University of Illinois at Chicago

Eric Y.T. Juan, University of Illinois at Chicago

pp. 59

PDF

Towards a Refinement Calculus for Object Systems (Abstract)

He Jifeng, United Nations University

Liu Zhiming, United Nations University

Li Xiaoshan, University of Macau

pp. 69

PDF

Software Metrics and Human Factors for WIBIS (WWW & Internet Based Information Systems) (Abstract)

Motoei Azuma, Waseda University

pp. 77

PDF

Understanding Problems and Problem Situations — A Systems Approach (Abstract)

Shushma Patel, South Bank University

pp. 84

PDF

System Modeling and Design using Genetic Programming (Abstract)

Henry Leung, University of Calgary

Vinay Varadan, University of Calgary

pp. 88

PDF

Keynote Session IV: Autonomic Information Processing

An Agent-Based Framework for Developing Flexible Distributed Systems (Abstract)

Kenji Sugawara, Chiba Institute of Technology

pp. 101

PDF

Compression and Its Metrics for Multimedia (Abstract)

W. Kinsner, University of Manitoba and Telecommunications Research Laboratories

pp. 107

PDF

Software Agents: Quality, Complexity and Uncertainty Issues (Abstract)

Behrouz Homayoun Far, University of Calgary

pp. 122

PDF

On the Informatics Laws of Software (Abstract)

Yingxu Wang, University of Calgary

pp. 132

PDF

Session 1(A): Cognitive Informatics

Integrating Cognitive Support with CASE-Tools for Design Recovery (Abstract)

Jens H. Jahnke, University of Victoria

pp. 145

PDF

Awareness in Logic and Cognitive Neuroscience (Abstract)

Ahti Pietarinen, University of Helsinki

pp. 155

PDF

A Software Engineering Cognitive Knowledge Discovery Framework (Abstract)

Vincent Chiew, Downtown Investments Inc.

pp. 163

PDF

Session 1(B): Agent Software and Autonomy

A Simplified Protocol Operational Semantics for Multiagent Protocols (Abstract)

Jean-Luc Koning, INPG-COSY

pp. 175

PDF

Agent-Based Hierarchical Video Presentation Over Internet (Abstract)

Linsong Cai, University of Calgary

Xiao Liu, University of Calgary

Wael Badawy, University of Calgary

pp. 182

PDF

An Agent-Assisted Document Storage for Software Process Environments (Abstract)

Jason Jen-Yen Chen, National Central University

Chun-Yi Lin, Taiwan Cellular Corporation

pp. 186

PDF

Session 2(A): Expressive Mathematics

A New Mathematical Notation for Describing Notion and Thought in Software Design (Abstract)

Yingxu Wang, University of Calgary

pp. 193

PDF

Introducing the Golden Section to Computer Science (Abstract)

Natalia López, Universidad Complutense de Madrid

Manuel Núñez, Universidad Complutense de Madrid

Ismael Rodríguez, Universidad Complutense de Madrid

Fernando Rubio, Universidad Complutense de Madrid

pp. 203

PDF

Experience Using Formal Methods for Capturing Requirements of Web-Based Applications (Abstract)

Abdesselam Redouane, High-Tech Consultant

pp. 213

PDF

Scientific Curve Classification by Combining Simple Algorithms (Abstract)

J. R. Parker, University of Calgary

pp. 222

PDF

Session 2(B): Fuzzy Systems

A Fuzzy Paradigm Approach for the Cognitive Process of Categorization (Abstract)

Cristina Maria Varachiu, University of Bucharest

Nicolae Varachiu, University of Calgary

pp. 229

PDF

Computational Intelligence for Medical Knowledge Acquisition with Application to Glaucoma (Abstract)

Nicolae Varachiu, University of Calgary

Cynthia Karanicolas, University of Calgary

Mihaela Ulieru, University of Calgary

pp. 233

PDF

Mining Fuzzy Rules in A Donor Database for Direct Marketing by a Charitable Organization (Abstract)

Keith C.C. Chan, Hong Kong Polytechnic University

Wai-Ho Au, Hong Kong Polytechnic University

Berry Choi, Hong Kong Polytechnic University

pp. 239

PDF

Agents Paradigm to Solve a Complex Optimization Problem (Abstract)

Amar Ramdane-Cherif, Universit? de Versailles St.-Quentin

Nicole Levy, Universit? de Versailles St.-Quentin

Hicham DjeniIdi, Quebec University

Chakib Tadj, Quebec University

pp. 247

PDF

Session 3(A): Natural Intelligence (NI)

Cognitive Models of the Brain (Abstract)

Yingxu Wang, University of Calgary

Ying Wang, The Fourth City Hospital, Xian Dachaishi 1

pp. 259

PDF

An Interaction-Based Approach for Structuring Coordination Activities (Abstract)

Lars Taxén, Linköping University

pp. 270

PDF

A Methodology for Assessing User's Skill Grade to Implement Adaptive User Interface Systems (Abstract)

Hitoshi Nagasaki, Kyoei University

Motoei Azuma, Waseda University

pp. 280

PDF

Combining Multiple Non-Homogeneous Classifiers: An Empirical Approach (Abstract)

J. R. Parker, University of Calgary

pp. 288

PDF

Session 3(B): Artificial Intelligence (AI)

Theoretical and Practical Aspects of Computer Speech Processing (Abstract)

Zygmunt Ciota, Technical University of Lodz

pp. 295

PDF

Concurrent Self-Organizing Maps for Pattern Classification (Abstract)

Victor-Emil Neagoe, Politehnica University of Bucharest

Armand-Dragos Ropot, Politehnica University of Bucharest

pp. 304

PDF

Pattern Recognition of the Selection Sort Algorithm (Abstract)

Ronald Finkbine, Indiana University Southeast

pp. 313

PDF

Design of a Framework for Electronic Commerce Brokers (Abstract)

Nadia Bouassida, Gestion de Sfax

Thouraya Ayadi, Gestion de Sfax

Hanêne Ben-Abdallah, Gestion de Sfax

Faïez Gargouri, Gestion de Sfax

pp. 317

PDF

Session 4(A): Learning and Comprehension

Modeling Comprehension Processes in Software Development (Abstract)

Tuomas Klemola, Concordia University

Juergen Rilling, Concordia University

pp. 329

PDF

Quasi-Morphism and Comprehensibility of Rules in Inductive Learning (Abstract)

Wiphada Wettayaprasit, University of Louisiana at Lafayette, Chulalongkorn University, and Prince of Songkla University

Chidchanok Lursinsap, Chulalongkorn University

Cheehung Henry Chu, University of Louisiana at Lafayette

pp. 337

PDF

Program Comprehension as a Learning Process (Abstract)

Václav Rajlich, Wayne State University

pp. 343

PDF

Session 4(B): Object Recognition

A Framework for Object Identification and Refinement Process in Object-Oriented Analysis and Design (Abstract)

Romi S. Wahono, Saitama University

Behrouz H. Far, University of Calgary

pp. 351

PDF

Face Recognition Using a Fuzzy-Gaussian Neural Network (Abstract)

Victor-Emil Neagoe, Politehnica University of Bucharest

Iuliana-Florentina Iatan, Politehnica University of Bucharest

pp. 361

PDF

Author Index

Author Index (PDF)

pp. 369