CSDL - Proceedings I

Conference Organization (PDF)

pp. viii

Keynotes

Language, Logic, and the Brain (PDF)

R. E. Jennings, Simon Fraser University

pp. 2

On Autonomous Computing and Cognitive Processes (PDF)

Yingxu Wang, University of Calgary

pp. 3-4

Session 1 Cognitive Informatics

Is Entropy Suitable to Characterize Data and Signals for Cognitive Informatics? (Abstract)

W. Kinsner, University of Manitoba

pp. 6-21

PDF

On the Cognitive Informatics Foundations of Software Engineering (Abstract)

Yingxu Wang, University of Calgary

pp. 22-31

PDF

A Parallel Language for Cognitive Informatics (Abstract)

Fernando Rubio, Universidad Complutense de Madrid

Ismael Rodr?guez, Universidad Complutense de Madrid

pp. 32-41

PDF

Concept Formation and Learning: A Cognitive Informatics Perspective (Abstract)

Y. Y. Yao, University of Regina

pp. 42-51

PDF

Session 2 Formal Methods for Cognitive Informatics (I)

Specification of the RTPA Grammar and Its Recognition (Abstract)

Xinming Tan, University of Calgary

Yingxu Wang, University of Calgary

Cyprian F. Ngolah, University of Calgary

pp. 54-63

PDF

STOPA: A STOchastic Process Algebra for the Formal Representation of Cognitive Systems (Abstract)

Natalia López, Universidad Complutense de Madrid

Manuel Núñez, Universidad Complutense de Madrid

Fernando L. Pelayo, Universidad de Castilla-La Mancha

pp. 64-73

PDF

Formal Description of the Cognitive Process of Problem Solving (Abstract)

Vincent Chiew, University of Calgary

Yingxu Wang, University of Calgary

pp. 74-83

PDF

Cognitive Bioinformatics: Computational Cognitive Model for Dynamic Problem Solving (Abstract)

Olga Anna Kuchar, Pacific Northwest National Laboratory

Jorge F. Reyes-Spindola, Pacific Northwest National Laboratory

Michel Benaroch, Syracuse University

pp. 84-92

PDF

Session 3 Cognitive Informatics and Software Engineering

A Cognitive Model for Solo Programming and Pair Programming (Abstract)

Kim Man Lui, Hong Kong Polytechnic University

Keith C.C. Chan, Hong Kong Polytechnic University

pp. 94-102

PDF

Evaluating Cognitive Complexity Measure with Weyuker Properties (Abstract)

Sanjay Misra, Motilal Nehru National Institute of Technology

A. K. Misra, Motilal Nehru National Institute of Technology

pp. 103-108

PDF

Extraction of If-Then Rules from Trained Neural Network and Its Application to Earthquake Prediction (Abstract)

Yue Liu, Shanghai University

Bofeng Zhang, Shanghai University

Gengfeng Wu, Shanghai University

pp. 109-115

PDF

Towards a New Method for the Development of Web-Based Applications (Abstract)

Abdesselam Redouane

pp. 116-122

PDF

Session 4 Formal Methods for Cognitive Informatics (II)

Formal Description of the Cognitive Process of Decision Making (Abstract)

Yingxu Wang, University of Calgary

Dong Liu, University of Calgary

Guenther Ruhe, University of Calgary

pp. 124-130

PDF

Algebraic Modelling of Some Cognitive Neuropsychology of Schizophrenia (Abstract)

Lee Flax, Macquarie University

pp. 131-137

PDF

Applying Occam?s Razor to FSMs (Abstract)

Manuel Núñez, Universidad Complutense de Madrid

Ismael Rodríguez, Universidad Complutense de Madrid

Fernando Rubio, Universidad Complutense de Madrid

pp. 138-147

PDF

Theoretical Study on Attribute Reduction of Rough Set Theory: Comparison of Algebra and Information Views (Abstract)

Guo-Yin Wang, Chongqing University of Posts and Telecommunications

Jun Zhao, Chongqing University of Posts and Telecommunications

Jiu-Jiang An, Chongqing University of Posts and Telecommunications

Yu Wu, Chongqing University of Posts and Telecommunications

pp. 148-155

PDF

Session 5 Cognitive Informatics and Industrial Applications

Towards Ontology Construction for an Industrial Domain (Abstract)

Christine W. Chan, University of Regina

pp. 158-167

PDF

Release Planning under Fuzzy Effort Constraints (Abstract)

An Ngo-The, University of Calgary

G?nther Ruhe, University of Calgary

Wei Shen, University of Calgary

pp. 168-175

PDF

Cognitive Process during Program Debugging (Abstract)

Shaochun Xu, Wayne State University

V?clav Rajlich, Wayne State University

pp. 176-182

PDF

Uncertainty Modeling in Selection of Gas/Liquid Contactors Using Bayesian Networks (Abstract)

Elliott Hui, University of Regina

Amornvadee Veawab, University of Regina

Christine W. Chan, University of Regina

pp. 183-190

PDF

Session 6 Cognitive Informatics and Neural Networks

Neural Field Model for Perceptual Learning (Abstract)

Zhongzhi Shi, Chinese Academy of Sciences

Youping Huang, Chinese Academy of Sciences

Jian Zhang, Chinese Academy of Sciences

pp. 192-198

PDF

A Comparison of Data Preprocessing Strategies for Neural Network Modeling of Oil Production Prediction (Abstract)

H. H. Nguyen, University of Regina

C. W. Chan, University of Regina

pp. 199-207

PDF

Real-Time Optimization and Computation for Interconnected Nonlinear Systems Using Neural Networks (Abstract)

Zeng-Guang Hou, Chinese Academy of Sciences

Min Tan, Chinese Academy of Sciences

Madan M. Gupta, University of Saskatchewan

Peter N. Nikiforuk, University of Saskatchewan

pp. 208-213

PDF

Building Linux Based Neural Network Applications (Abstract)

Xing Liu, Kwantlen University

pp. 214-219

PDF

Problems of FGREP Module and Their Solution (Abstract)

Minoru Motoki, Kyushu University

Yoichi Tomiura, Kyushu University

Naoto Takahashi, National Institute of Advanced Industrial Science and Technology

pp. 220-227

PDF

Session 7 Cognitive Informatics for Agent Technologies

Agent Technologies for Pervasive Computing and Communications (Abstract)

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

S. Benarif, Universit? de Versailles St.-Quentin

N. Levy, Universit? de Versailles St.-Quentin

pp. 230-239

PDF

Application of Intelligent Agent Technology for Knowledge Management Integration (Abstract)

Nora Houari, University of Calgary

Behrouz Homayoun Far, University of Calgary

pp. 240-249

PDF

MAGE: An Agent-Oriented Programming Environment (Abstract)

Zhongzhi Shi, Chinese Academy of Sciences

Haijun Zhang, Chinese Academy of Sciences

Yong Cheng, Chinese Academy of Sciences

Yuncheng Jiang, Chinese Academy of Sciences

Qiujian Sheng, Chinese Academy of Sciences

Zhikung Zhao, Chinese Academy of Sciences

pp. 250-257

PDF

Modeling and Implementation of Software Agents Decision Making (Abstract)

Behrouz Homayoun Far, University of Calgary

pp. 258-267

PDF

Author Index

Author Index (PDF)

pp. 269