!• i

ARTIFICIAL INTELLIGENCEAND APPLICATIONS

Volume IIAs part of the 22nd lASTED International Multi-Conference on

Applied InformaticsUB/TIB Hannover 89124 986 358

ACTA Press

A Publication of The International Association ofScience and Technology for Development - lASTED

ISSN: 1027-2666

Anaheim Calgary Zurich

ISBN: 0-88986-404-7

411-274: New Bit Rate CELP Coder for SpeakerDependent Coding SystemJ. Srinonchat, S. Danaher, J.H. Allen, andA. Murry 432

411-281: Application of Kohonen Neural Networks forLawn CareD.K Swift and C.H. Dagli 436

411-282: An Improved Back-Propagation NeuralNetworks using a Modified Non-linear FunctionM.A. Otair and W.A. Salameh 442

411-802: Artificial Intelligence Assisting NozzleGeometry DesignM. Ahmed, T. Hussain, andA.A. Khan 448

411-807: A New Method for Pattern Analysis andRecognitionK KpalmaandJ. Ronsin 453

411-816: Modelling Time Series with ExogenousInformationJ.M. Gorriz, C.G. Puntonet, M. Salmeron, andJ. Ortega 459

411-817: Time Series Prediction using ICAAlgorithms vs. Parallel Neural NetworksJ.M. Gorriz, C.G. Puntonet, M. Salmeron, andE.W.Lang 465

VOLUME IIPLANNING AND SCHEDULING

411-050: Using Problem Reduction and Introspective-based Search for SokobanT.Pannerec 471

411-052: Using Tasks to Automate RegressionTesting of GUIsA.M. Memon 477

411-155: Implementing Hierarchical Agent-HumanTeamworks via Constraint-based ModelsC. Siebra and A. Tate 483

411-156: M-Planning: A Mobile Tool to SupportCollaborative PlanningN.Q. Lino and A. Tate 489

411-211: Development and Improvement of the SLA*Three-Machine Flow-Shop Scheduling AlgorithmJ.P.-O.Fan 495

411-262: An Immune based Optimization Methodfor Optimal Distribution Network DesignM. Skok, H. Keko, andD. Skrlec 501

411-279: Planning Transport in the Supply ChainJ.E. Stork 507

REASONEVG

411-021: On the Use of Case-based Working-Principlesof Self-optimization for Intelligent ShuttleTransportation SystemsP. Scheideler and A. Schmidt 512

411-077: A Model based Approach for EpistemicLogic Program UpdatesS.K Lakkaraju 518

411-113: Evaluating a CBR System for Predicting ,Student PerformanceS.T. Karamouzis 524

411-122: Persistence of Termination for LocallyConfluent Overlay Term Rewriting SystemsM. Iwami 529

411-144: Monitoring and Diagnosing Multi-agentSystems: The Robocare ProposalR. Micalizio, P. Torasso, andG. Torta 535

411-164: Case Retrieval in a Software EngineeringCapitalization Tool using Dynamic InductiveTree and Inverted ListH. Donfack, R. Nkambou, and V. Bevo 542

411-167: Software Engineering KnowledgeCapitalization using CBR: Case StructureG. Ngantchaha, R. Nkambou, and V. Bevo 548

411-251: Dynamic Learning Model of EyeblinkConditioned Reflex: Computational Simulationand ImplicationsA. Garenne, P. Chauvet, B. Daya, andG. Chauvet 553

411-252: A Robust Eye Detection Method usingDomain KnowledgeH.S. Yoon, D.K Kim, andJ.Y. Lee 559

411-257: A Hybrid Reasoning System forTerminologies and Clause SetsK Kaneiwa 564

KNOWLEDGE REPRESENTATION

411-046: Representing Knowledge of HierarchicalMechatronic Systems in Web-OntologiesW. Dangelmaier, P. Scheideler, and A. Schmidt 571

I V

411-119: Polyhierarchical Classifications Inducedby Criteria Polyhierarchies, and TaxonomyAlgebraP. Babikov, O. Gontcharov, and M. Babikova 577

411-128: Knowledge Management in Agent Negotiationfor Electronic Commerce using Knowledge BeadsZ Yon, S. Fong, andM. Shi 588

411-141: Towards Provision of Knowledge-intensiveProducts and Services Over the WebD. Apostolou, P.-P. Georgolios, B. Klein,J. Franz, W. Maass, A. Abecker, K Kafentzis,andG. Mentzas 594

411-160: Modeling Logic-based Constraints in OWLC.R. Kothari and D.J. Russomanno 600

411-168: Tuning of Real Type Data Coding forDecision TablesR. Podraza and T. Strqkowski 609

411-265: Modeling Landuse Changes usingBayesian NetworksS. Benferhat, M.-A. Cavarroc, and R. Jeansoulin 615

411-283: A Symbolic-based Model for HandlingNegative InformationM. El-Sayed and D. Pacholczyk 621

SIGNAL PROCESSING AND PATTERNRECOGNITION

411-082: Radar HRRP Target Recognition by theHigher-Order Spectra FeaturesL. Du, H. Liu, andZ. Bao 627

411-097: A Neuro-fuzzy Network for the ConditionMonitoring of Rotating MachinesR.E. Tessendorf, A.J. Hoffman, andN.T. vander Merwe 633

411-123: A Comparative Analysis betweenConventional Approaches and ConnectionistMethods in Pattern Recognition TasksO. Ludwig Junior, L. Schnitman, J.A.M. Felippe de Souza,and H. Lepikson 639

411-126: Blind RBF Equalizer with DecisionFeedbackH. Lin and K Yamashita 645

411-136: Database Construction and RetrievalMethod for Optimal Design of CastingC. Lim, Y. Lee, J. Choi, andW. Kim 651

411-170: Applying Dimensionality Reduction forNeural Networks Learning in the SORFACEProjectL.S. Encinas, A.C. Zimmermann, J.M. Barreto, andL.O. Marin 657

411-174: Comparing CBR and NN Performance ina 3D Face Recognition ApplicationA.C. Zimmermann, L.S. Encinas, L.M. de Oliveira,and J.M. Barreto 661

411-191: Handy Eyes: A Real-time Vision-basedUser InterfaceJ. Akhtar, M.H. Khan, W. Akram, andB.M. Hashmi 666

411-214: Texture Cue used for Recognition andInspection of ObjectsO.O. Vergara Villegas and R. Pinto Elias 672

411-236: Speech Recognition of Thai Digits usingModified Cross-Correlation Neural Network

A. Thammano and N. Klomiam 678

411-814: Design and Performance Evaluation ofReal-time Fingerprint Recognition for DigitalContents ProtectionY.-K Kong, P.-J. Kwon, andH. Kim 683

411-815: Hybrid ICA-ANN Model Applied toVolatile Time Series ForecastingJ.M. Gorriz, C.G. Puntonet, M. Salmeron, andE. W. Lang 688

INTELLIGENT CONTROL, ROBOTICS, ANDAUTOMATION

411-031: Intelligent Adaptive Control of RoboticManipulators based on a Multiestimation SchemeA. Ibeas andM. delaSen 694

411-033: Artificial Intelligence Tools for DiscreteMultiestimation Adaptive Control Scheme withModel Reduction IssuesA. Bilbao-Guillerna, M. de la Sen,S. Alonso-Quesada, and A. Ibeas 700

411-135: Studying the Quality of Resistance SpotWelding Joints using Bayesian NetworksP. Laurinen, H. Junno, L. Tuovinen, andJ. Roning 705

411-208: Experimental Data and OperatorKnowledge used for Classifying Welding QualityM. Kristiansen and O. Madsen 712

411-239: A Robot for Intelligent Book HandlingM. Prats, R. Ramos-Garijo, P.J. Sam, andA.P. Del Pobil 718

411-808: A Visual Tool for Computer SupportedLearning: The Robot Motion Planning ExampleA. Elnagar and L. Lulu 724

INTELLIGENT INFORMATION SYSTEMS,EXPERT SYSTEMS, AND DECISION MAKING

411-028: Intelligent Agent for Supporting ConstructionProcurement NegotiationR.-J. Dzeng 750

411-043: OLERA: OnLine Extraction Rule Analysisfor Semi-structured DocumentsC.-H. Chang and S.-C. Kuo 736

411-071: Recommendation System Research forBTOC Commerce SiteZ. Xie, X Li, and Y. Qiu 743

411-142: An Ontology based RecommendationSystem/. Zinnikus, C. Fraser, and K Fischer 748

411-240: SWEXSYS: A Semantic Web ExpertSystem ShellO.A. Thomas and D.J. Russomanno 754

411-250: Managing and Computational BusinessSystem Model for Intelligent Protection based onAgentH. Kim, Y.-K Rang, B.-J. Kwon, andD.-J. Hwang 760

411-256: Using Learning Classifier System for MakingInvestment Strategies based on InstitutionalAnalysisJ.-Y. Lin, C.-P. Cheng, W.-C. Tsai, andA.-P. Chen 765

411-270: Activity Forecast of the Internet Usersbased on the Collective IntelligenceL. Lancieri and N. Durand 770

411-280: Coefficient of Credibility in Rough SetSystemR. Podraza and A. Jurkowski 776

411-806: Intelligent and Robust Method forShape RecognitionJ.C. Cuevas Tello, C.A. PuenteMontejano,J.I. Nunez Varela, andM.A. Botello Aragon 782

411-809: Market Watcher Agent for E-CommerceS. Fong, S. Siu, and A. Sun 789

411-810: Smart Card-based Identification andAccess Control Model with Real-time SuspiciousAction Detection Mechanism

A. Leong, S. Fong, andS. Siu 794

COMPUTATIONAL INTELLIGENCE

411-083: Collection of Test Case Sequences:Covering of Function Cluster DigraphM.Sh. Levin andM. Last 806

411-105: Granular Computing in Image Processingand UnderstandingS.A.Butenkov 811.$:

411-169: The Discrete Logarithm Problem as anOptimization Task: A First StudyE.C. Laskari, G.C. Meletiou, andM.N. Vrahatis 817

411-177: Multiobjective Optimization using ParallelVector Evaluated Particle Swarm OptimizationKE. Parsopoulos, D.K Tasoulis, andM.N. Vrahatis 823

411-243: Optimal Partitioning of Formal Specificationin Protocol CompilerM. Li,X. Wu,X. Zhu, andH. Wang 829

SPECIAL SESSION: PRESENTATION,SHARING, MINING, AND PROTECTION

411-819: Types in Transparent Intensional Logicand Easel — A ComparisonA. Hordk 833

411-820: Algebraic Approach to Dialogues andDialogue Systems/. Kopecek 838

411-821: Ontologies and Lexical SemanticNetworks, Their Editing and BrowsingP. SmrzandM. Povolny 842

411-822: Knowledge Models for NetworkEnvironment Communications: An OverviewJ.Smid 847

411-823: Ontology Repository in Multi-AgentSystemM. ObitkoandV. Sndsel 853

411-824: Using Easel Types for Document Managementand RetrievalM. Obitko, J. Smid, and V. Sndsel 859

VI

411-825: Reasoning with Property based TypesD.A. Fisher 865

411-826: Using Easel to Depict Network Defenseand AttacksJ.Harrison 870

411-827: Ontologies, Types and Verb FramesK PalaandP. Smrz 874

PAPERS FROM OTHER LASTED CONFERENCES

398-090: Image Segmentation using Fuzzy ClusteringIncorporating Spatial InformationM.A. AH, G.C. Karmakar, andL.S. Dooley .....878

403-020: Neuro-fuzzy Modeling with a New HybridLearning AlgorithmT.G. Amoral, MM. Crisostomo, and V.F. Pires 882

403-128: Artificial Neural Network based VoltageStability EvaluationP.K. Modi, S.P. Singh, andJ. Sharma 888

403-131: An Empirical Comparison of Token EncodingStrategies in the Generation of Vector Representations ofStructured DataJ. Vincent and R.C. Mintram 894

403-173: Multilayer Selection-fusion Model for PatternClassificationD.Ruta 899

AUTHOR INDEX 907

vn