11. ICTAI 1999: Chicago, Illinois, USA

11th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'99), 8-10 November, 1999, Chicago, Illinois, USA. IEEE Computer Society, 1999. online publication: http://computer.org/proceedings/ictai/0456/0456toc.htm

Intelligent Tutoring System

George D. Magoulas, Kyparisia A. Papanikolaou, Maria Grigoriadou:
Towards a Computationally Intelligent Lesson Adaptation for a Distance Learning Course. 5-12
Yujian Zhou, Martha W. Evens:
A Practical Student Model in an Intelligent Tutoring System. 13-18
Roger Nkambou:
Managing Inference Process in Student Modeling for Intelligent Tutoring Systems. 19-

Machine Learning & Genetic Algorithm

H. Timucin Ozdemir, Chilukuri K. Mohan:
GraGA: A Graph Based Genetic Algorithm for Airline Crew Scheduling. 27-28
Xidong Jin, Robert G. Reynolds:
Using Knowledge-Based System with Hierarchical Architecture to Guide the Search of Evolutionary Computation. 29-36
Patrick Njiwoua, Engelbert Mephu Nguifo:
Exemplar-Based Prototype Selection for a Multi-Strategy Learning System. 37-

Soft Computing

Yuan Miao, Zhi-Qiang Liu, Shi Li, Chee Kheong Siew:
Dynamical Cognitive Network - An Extension of Fuzzy Cognitive Map. 43-46
Erol Gelenbe, Zhiguang Xu, Esin Seref:
Cognitive Packet Networks. 47-54
Xin Hong, Kenneth Adamson, Weiru Liu:
Using Parallel Techniques to Improve the Computational Efficiency of Evidential Combination. 55-

AI & Software Engineering

Jonathan Lee, Nien-Lin Xue, Kuo-Hsun Hsu, Yong-Yi Fangjang:
Structuring Requirements Specifications through Goals Interactions. 61-68
Ilene Burnstein, Floyd Saner, Yachai Limpiyakorn:
Using an Artificial Intelligence Approach to Build an Automated Program Understanding/Fault Localization Tool. 69-76
Aditya Ghose:
A Formal Basis for Consistency, Evolution and Rationale Management in Requirements Engineering. 77-84
Doug Sapp, Yi Shang:
Intelligent Web Representatives. 85-

Data Mining

Vijay S. Iyengar:
HOT: Heuristics for Oblique Trees. 91-98
Weining Zhang:
Mining Fuzzy Quantitative Association Rules. 99-102
R. Brause, T. Langsdorf, Michael Hepp:
Neural Data Mining for Credit Card Fraud Detection. 103-106
Meiliu Lu, Du Zhang, Hongjun Xu, Ken Tse-yau Lau, Li Lu:
Protein Secondary Structure Prediction Using Data Mining Tool C5. 107-

Image & Vision

Maja Pantic, Léon J. M. Rothkrantz:
An Expert System for Multiple Emotional Classification of Facial Expressions. 113-120
Zhongfei Zhang, Rohini K. Srihari, Aibing Rao:
Face Detection and Its Applications in Intelligent and Focused Image Retrieval. 121-128
Mihail Popescu, Yi Shang:
An Agent-Based Approach for Interpreting Medical Images. 129-130
D. Goldman, Nikolaos G. Bourbakis:
A Software Tool for Real-Time Low-Level Vision. 131-

Panel Session: The Role & Impact of Intelligent Agents in the Internet

Logic & Reasoning

Akinori Abe:
Two-Sided Hypotheses Generation for Abductive Analogical Reasoning. 145-152
Henrik Bergström:
A Family of Delphi Components for Case-Based Reasoning. 153-160
Makoto Suzuki, Toshiyasu Matsushima, Shigeichi Hirasawa:
On a Deductive Reasoning Model and Method for Uncertainty. 161-

Video & Image

Edoardo Ardizzone, Mohand-Said Hacid:
A Knowledge Representation and Reasoning Support for Modeling and Querying Video Data. 167-174
Shu-Ching Chen, Srinivas Sista, Mei-Ling Shyu, Rangasami L. Kashyap:
Augmented Transition Networks as Video Browsing Models for Multimedia Databases and Multimedia Information Systems. 175-182
Aibing Rao, Rohini K. Srihari, Zhongfei Zhang:
Spatial Color Histograms for Content-Based Image Retrieval. 183-186
Dantong Yu, Surojit Chatterjee, Aidong Zhang:
Efficiently Detecting Arbitrary Shaped Clusters in Image Databases. 187-

Search & Constraint Satisfaction I

Carla P. Gomes, Bart Selman:
On the Fine Structure of Large Search Spaces. 197-201
Romuald Debruyne:
A Strong Local Consistency for Constraint Satisfaction. 202-209
Zhe Wu, Benjamin W. Wah:
Solving Hard Satisfiability Problems: A Unified Algorithm Based on Discrete Lagrange Multipliers. 210-217
Vincent Tam:
Removing Node and Edge Overlapping in Graph Layouts by a Modified EGENET Solver. 218-

Agent

Eugene Eberbach, Shashi Phoha:
SAMON: Communication, Cooperation and Learning of Mobile Autonomous Robotic Agents. 229-236
Zhan Cui, Brian Odgers, Michael Schroeder:
An In-Service Agent Monitoring and Analysis System. 237-244
Clement Allen, Sara Stoecklin, Patrick O. Bobbie, Qian Chen, Ping Wu:
An Architecture for Designing Distributed Spoken Dialogue Interfaces. 245-252
Fuhua Lin, Chuan-Jun Su, Mitchell M. Tseng:
An Agent-Based Approach to Developing Intelligent Virtual Reality-Based Training Systems. 253-

Machine Learning

Cédric Wemmert, Pierre Gançarski, Jerzy J. Korczak:
An Unsupervised Collaborative Learning Method to Refine Classification Hierarchies. 263-270
Gaofeng Qian:
An Engine for Cursive Handwriting Interpretation. 271-278
Fazel Famili, Sylvain Létourneau:
Monitoring of Aircraft Operation Using Statistics and Machine Learning. 279-286
Dimitrios Kalles, Athanassios Papagelis:
Controlled Flux Results in Stable Decision Trees. 287-

Planning & Scheduling

Pierre Laroche, François Charpillet, René Schott:
Mobile Robotics Planning Using Abstract Markov Decision Processes. 299-306
Ang Juay Chin, Wee-Kit Ho, Andrew Lim:
A New GA Approach for the Vehicle Routing Problem. 307-310
Babak Hamidzadeh, Ng Siu Kee:
A Dynamic Scheduling Benchmark: Design, Implementation and Performance Evaluation. 311-318
Richard Fox:
A Generic Task Strategy for Solving Routine Decision Making Problems. 319-

Neural Networks

Zhi-Hua Zhou, Shifu Chen, Zhaoqian Chen:
Mining Typhoon Knowledge with Neural Networks. 325-326
R. Gao, Y. Liu, S. Basseas, Lefteri H. Tsoukalas:
Neurofuzzy Approaches for Advanced Hearing Devices. 327-331
Xin Wang, Thomas Y. C. Wei, Jaques Reifman, Lefteri H. Tsoukalas:
Signal Trend Identification with Fuzzy Methods. 332-

Database & Data Mining

Je-Ho Park, Vinay Kanitkar, Alex Delis, R. N. Uma:
On the Use of Genetic Algorithms in Database Client Clustering. 339-342
Luigi Lancieri, Pierre Agostini, Nicolas Saillard, Samuel Legouix:
Autonomous Filter Engine Based on Knowledge Acquisition from the Web. 343-344
I-Yuan Lin, Xin-Mao Huang, Ming-Syan Chen:
Capturing User Access Patterns in the Web for Data Mining. 345-348
Abdelhak Seriai, Mourad Oussalah:
Query Reification Based Approach for Object-Oriented Query Formulation Aid. 349-

Search & Constraint Satisfaction II

Carla P. Gomes, Bart Selman:
Search Strategies for Hybrid Search Spaces. 359-364
P. Bruce Berra, Pericles A. Mitkas, Shengluan Zhong:
Fast and Efficient Searching of Multimedia Databases Using Holographic Memory. 365-372
Laurent Granvilliers, Frédéric Goualard, Frédéric Benhamou:
Box Consistency through Weak Box Consistency. 373-380
Benjamin W. Wah, Tao Wang:
Constrained Simulated Annealing with Applications in Nonlinear Continuous Constrained Global Optimization. 381-

Information Retrieval

Alexander Pretschner, Susan Gauch:
Ontology Based Personalized Search. 391-398
Kenrick J. Mock:
Dynamic Email Organization via Relevance Categories. 399-405
Michal Cutler, H. Deng, S. Maniccam, Weiyi Meng:
A New Study on Using HTML Structures to Improve Retrieval. 406-409
Dimitris Fragoudis, Spiridon D. Likothanassis:
Learning to Identify Interesting Links in Intelligent Information Discovery. 410-

Knowledge-Base/Knowledge Representation

Ioannis Hatzilygeroudis, Jim Prentzas:
Neurules: Improving the Performance of Symbolic Rules. 417-424
Éric Grégoire:
Overcoming the Christmas Tree Syndrome. 425-430
Tim Menzies, Bojan Cukic:
On the Sufficiency of Limited Testing for Knowledge Based Systems. 431-440
Jorge Santos, Carlos Ramos, Zita A. Vale, Albino Marques:
VERITAS - An Application for Knowledge Verification. 441-