IEEE ICCI 2007: Lake Tahoe, CA, USA

Keynote

• Jerry A. Feldman:
  Language Understanding and Unified Cognitive Science. 1
  

• Yingxu Wang:
  Cognitive Informatics Foundations of Nature and Machine Intelligence. 3-12
  
• Witold Kinsner:
  Challenges in the Design of Adaptive, Intelligent and Cognitive Systems. 13-25
  

Cognitive informatics

• Yingxu Wang:
  Formal Descriptions of a Set of Meta Cognitive Processes of the Brain. 26-34
  
• Antonio Hernando, Luis de Ledesma, Luis M. Laita:
  An Approach to Representation Changes While Executing Problem Solver Intelligent Systems. 35-42
  
• Yingxu Wang:
  Formal Linguistics and the Deductive Grammar. 43-51
  
• Tiansi Dong:
  Towards a Spatial Representation for the Meta Cognitive Process Layer of Cognitive Informatics. 52-61
  
• Tyler W. Garaas, Marc Pomplun:
  The Visual Implications of Inspection Time. 62-71
  

Image and Pattern Recognition

• Reza Fazel-Rezai, Witold Kinsner:
  Image Decomposition and Reconstruction using Two-Dimensional Complex-Valued Gabor Wavelets. 72-78
  
• Lidia Ogiela, Ryszard Tadeusiewicz, Marek R. Ogiela:
  Cognitive Informatics in Automatic Pattern Understanding. 79-84
  
• Qing He, Xiu-Rong Zhao, Zhongzhi Shi:
  A Cognitive Data Visualization Method Based on Hyper Surface. 85-91
  
• Liang Chen, Naoyuki Tokuda:
  A Simple High Accuracy Approach for Face Recognition. 92-98
  
• Reza Iraji, M. T. Manzuri-Shalmani, Amir H. Jamalian, A. R. Sefidpour:
  A Real-Time Color-Independent Method for Multiple Faces Tracking. 99-105
  

Cognitive Informatics for Software Engineering

• Lian Wen, Diana Kirk, R. Geoff Dromey:
  Software Systems as Complex Networks. 106-115
  
• Volker Gruhn, Ralf Laue:
  On Experiments for Measuring Cognitive Weights for Software Control Structures. 116-119
  
• Sanjay Misra:
  Cognitive Program Complexity Measure. 120-125
  
• Andrew Brooks, Louise Scott:
  A Methodology from Software Engineering Inspection which Supports Replicable Mental Models Research. 126-133
  
• Sanjay Misra:
  An Object Oriented Complexity Metric Based on Cognitive Weights. 134-139
  

Rough and Fuzzy Set Modeling

• Jun Hu, Guoyin Wang, Ang Fu:
  Knowledge Reduction of Covering Approximation Space. 140-144
  
• Lech Polkowski:
  The Paradigm of Granular Rough Computing: Foundations and Applications. 145-153
  
• Lech Polkowski:
  The Paradigm of Granular Rough Computing: Foundations and Applications. 154-162
  
• Shen-Ming Gu, Wei-Zhi Wu, Hong-Tao Chen:
  A Classification Approach of Granules Based on Variable Precision Rough Sets. 163-168
  
• Amir H. Jamalian, Reza Iraji, A. R. Sefidpour, M. T. Manzuri-Shalmani:
  Examining the epsilon-Optimality Property of a Tunable FSSA. 169-177
  

Granular Computing

• Yiyu Yao, Bing Zhou:
  A Logic Language of Granular Computing. 178-185
  
• Lech Polkowski, Piotr Artiemjew:
  Granular Computing: Granular Classifiers and Missing Values. 186-194
  
• Shusaku Tsumoto, Shoji Hirano:
  Charcteristics of Pearson Residuals in a Contingency Matrix. 195-204
  
• Lisa Fan:
  Granular Computing Application to Web-based Learning Support System. 205-211
  
• Hidenao Abe, Shusaku Tsumoto, Miho Ohsaki, Takahira Yamaguchi:
  Evaluating Learning Algorithms to Construct Rule Evaluation Models Based on Objective Rule Evaluation Indices. 212-221
  

Cognitive Philosophy and Psychology

• Alberto de la Encina, Mercedes Hidalgo-Herrero, Natalia Lopez:
  A Formal Environment for Describing Negotiation Capabilities. 222-231
  
• Nadina Martinez Carod, Alejandra Cechich:
  A Cognitive Psychology Approach for Balancing Elicitation Goals. 232-241
  
• Donald V. Steward:
  Multiple Heads Acting as One Make a Thinking Enterprise. 242-245
  
• Pedro Pablo Alarcón, Juan Garbajosa:
  Identifying Application Key Knowledge through System Operations Modeling. 246-254
  

Knowledge Representation and Manipulation

• Du Zhang:
  Quantifying Knowledge Base Inconsistency via Fixpoint Semantics. 255-262
  
• Yingxu Wang:
  On Cognitive Informatics Foundations of Knowledge and Formal Knowledge Systems. 263-272
  
• Maria L. Pelayo, Fernando L. Pelayo, Fernando Cuartero, Valentin Valero, Gregorio Díaz, Elena Nieto:
  Does ROSA provide a good view of the Memorizing Process? 273-283
  
• Yingxu Wang:
  Formal Description of the Mechanisms and Cognitive Process of Memorization. 284-293
  
• Yousheng Tian, Yingxu Wang:
  A Knowledge Representation Tool Based on Concept Algebra. 294-301
  

Symbiotic Computing

• Kenji Sugawara, Shigeru Fujita, Hideki Hara:
  A Concept of Symbiotic Computing and its Application to Telework. 302-311
  
• Takahiro Uchiya, Takahide Maemura, Hideki Hara, Tetsuo Kinoshita:
  Interactive Design Method of Agent System for Symbiotic Computing. 312-320
  
• Fumio Hattori, Kazuhiro Kuwabara, Noriaki Kuwahara, Shinji Abe, Kiyoshi Yasuda:
  Socialware for People with Disabilities. 321-326
  
• Shigeru Fujita, Kenji Sugawara, Susumu Konno, Yusuke Watanabe, Kenji Tomioka, Takayoshi Itou:
  Agent-based Recognition of Relations among People using GPS Data. 327-331
  
• Takuo Suganuma, Toshimitsu Miyamoto, Jun Makishi, Gen Kitagata, Norio Shiratori:
  Effective Knowledge Sharing based on Symbiotic Computing and its Application to Networked Cooperative Works. 332-341
  

New System Models

• Michael Potter, Witold Kinsner:
  Direct Calculation of the Fractal Singularity Spectrum. 342-348
  
• Lou Boves, Louis ten Bosch, Roger K. Moore:
  ACORNS - towards computational modeling of communication and recognition skills. 349-356
  
• Roger Y. Jiang, N. Jaffer:
  A Novel Segmentation and Navigation Method for Polyps Detection using Mathematical Morphology and Active Contour Models. 357-363
  
• Anindya J. Pal, Samar S. Sarma, Biman Ray:
  CCTP, Graph Coloring Algorithms - Soft Computing Solutions. 364-372
  

Intelligent Systems

• Michael R. M. Jenkin, Andrew Hogue, Andrew German, Sunbir Gill, Anna Topol, Stephanie Wilson:
  Underwater surface recovery and segmentation. 373-380
  
• Y. Jiang, Lide Cao, R. Sankreacha, J. Pignol:
  Software tool for Breast Cancer Brachytherapy Planning using VTK. 381-384
  
• Dongme Sun, Shaohua Teng, Wei Zhang, Haibin Zhu:
  An Algorithm to Improve the Effectiveness of Apriori. 385-390
  
• Agustín Yagüe, Juan Garbajosa:
  Applying the Knowledge Stored in Systems Models to Derve Validation Tools and Environments. 391-400
  

Computational Intelligence

• Ivo Bukovsky, Zeng-Guang Hou, Jiri Bila, Madan M. Gupta:
  Foundation of Notation and Classification of Nonconventional Static and Dynamic Neural Units. 401-407
  
• Yong-Wei Li, Wei Li, Guo-Qing Yu, Zhen-Yu Wang, Peng Guo:
  Applied Research in Fuzzy Neural Network Predictive Control. 408-410
  
• Xiang-min Tan, Dongbin Zhao, Jianqiang Yi, Zeng-Guang Hou, Dong Xu:
  Unified Model and Robust Neural-Network Control of Omnidirectional Mobile Manipulators. 411-418
  
• Lichao Chen, Jia Liu, Yingjun Zhang, Binhong Xie:
  Research on the Algorithm for K-Shortest Paths Problem based on A* in Complicated Network. 419-423
  
• Hong-Ming Wang, Zeng-Guang Hou, Min Tan:
  Mapping Dynamic Environment Using Gaussian Mixture Model. 424-429
  

Applications of Cognitive Informatics

• Haibin Zhu:
  Improving Object-Oriented Analysis with Roles. 430-439
  
• Luis Reynoso, Marcela Genero, Mario Piattini:
  Using Verbal Protocols to Assess the Influence of Import-Coupling on the Comprehensibility of OCL Expressions. 440-449
  
• Fen Lin, Dapeng Zhang, Zhongzhi Shi, Minjie Xu, Yuanbing Zhou:
  A Novel Simulation Approach For Estimating Residential Power Demand Based on Multi-Agent Society. 450-455
  
• Shaochun Xu, Zendi Cui, Dapeng Liu, Xuhui Chen:
  Programmer's Expertise during Test-Driven Software Development. 456-461
  
• Amir H. Jamalian, A. R. Sefidpour, M. T. Manzuri-Shalmani, Reza Iraji:
  SME: Learning Automata-Based Algorithm for Estimating the Mobility Model of Soccer Players. 462-469
  

Autonomic Machine Learning

• Yingxu Wang:
  The Theoretical Framework and Cognitive Process of Learning. 470-479
  
• Chuan Shi, Rui Huang, Zhongzhi Shi:
  Automatic Discovery of Subgoals in Reinforcement Learning Using Unique-Dreiction Value. 480-486
  
• Andre Döring, Wilhelm Dangelmaier, Christoph Danne:
  Using k-means for clustering in complex automotive production systems to support a Q-learning-system. 487-497
  
• Zhou Wen, Liu Zongtian, Liu Ying, Zhao Yan:
  Event-Based Knowledge Acquisition for Ontology Learning. 498-501
  
• Kai Hu, Yingxu Wang:
  Autolearner: An Autonomic Machine Learning System Based on Concept Algebra. 502-512
  

Image Retrieval and Signal Processing

• Robert Harrison, Christine W. Chan:
  A Tool for Dynamic Knowledge Modeling. 513-521
  
• Zhiyong Zhang, Zhiping Shi, Zhiwei Shi, Zhongzhi Shi:
  Contour-Based Image Retrieval. 522-529
  
• Lisa Fan, Botang Li:
  A User-Driven Ontology Guided Image Retrieval Model. 530-537
  
• Douglas S. Greer:
  An Image Association Model of the Brodmann Areas. 538-547
  
• Wei Zhang, Shaohua Teng, Zhaohui Zhu, Xiufen Fu, Haibin Zhu:
  An Improved Least-Laxity-First Scheduling Algorithm of Variable Time Slice for Periodic Tasks. 548-553
  
• Witold Kinsner:
  Single-Scale Measures for Randomness and Complexity. 554-568