The Community for Technology Leaders
Cognitive Informatics, IEEE International Conference on (2004)
Victoria, Canada
Aug. 16, 2004 to Aug. 17, 2004
ISBN: 0-7695-2190-8
TABLE OF CONTENTS
Introduction

Preface (PDF)

pp. vii
Keynotes

Language, Logic, and the Brain (PDF)

R. E. Jennings , Simon Fraser University
pp. 2
Session 1 Cognitive Informatics

A Parallel Language for Cognitive Informatics (Abstract)

Fernando Rubio , Universidad Complutense de Madrid
Ismael Rodr?guez , Universidad Complutense de Madrid
pp. 32-41
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

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

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

Vincent Chiew , University of Calgary
Yingxu Wang , University of Calgary
pp. 74-83

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
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

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

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
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

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

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
Session 5 Cognitive Informatics and Industrial Applications

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

Cognitive Process during Program Debugging (Abstract)

Shaochun Xu , Wayne State University
V?clav Rajlich , Wayne State University
pp. 176-182

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
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

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

Building Linux Based Neural Network Applications (Abstract)

Xing Liu , Kwantlen University
pp. 214-219

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
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

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
Author Index

Author Index (PDF)

pp. 269
94 ms
(Ver 3.3 (11022016))