Table of Contents

• A Controlled Language to Assist Conversion of Use Case Descriptions into Concept LatticesDebbie Richards, Kathrin Böttger, Oscar Aguilera. 1-11 [doi]
• Preferred Document Classification for a Highly Inflectional/Derivational LanguageKyongho Min, William H. Wilson, Yoo-Jin Moon. 12-23 [doi]
• Experiments in Query Paraphrasing for Information RetrievalIngrid Zukerman, Bhavani Raskutti, Yingying Wen. 24-35 [doi]
• Dynamic Decision-Making in Logic Programming and Game TheoryMarina De Vos, Dirk Vermeir. 36-47 [doi]
• On a Linear Representation Theory for Quantitative Belief ChangeAkira Fusaoka. 48-59 [doi]
• Trust in Secure Communication Systems - The Concept, Representations, and Reasoning TechniquesChuchang Liu, Maris A. Ozols. 60-70 [doi]
• Foundations for a Formalism of NearnessJane Brennan, Eric Martin. 71-82 [doi]
• Semantic Selection for Resolution in Clause GraphsSeungyeob Choi, Manfred Kerber. 83-94 [doi]
• Machine-Checking the Timed Interval CalculusJeremy E. Dawson, Rajeev Goré. 95-106 [doi]
• Modeling Programs with Unstructured Control Flow for DebuggingWolfgang Mayer, Markus Stumptner. 107-118 [doi]
• Message Length Formulation of Support Vector Machines for Binary Classification - A Preliminary SchemeLara Kornienko, David L. Dowe, David W. Albrecht. 119-130 [doi]
• MML Inference of Decision Graphs with Multi-way JoinsPeter J. Tan, David L. Dowe. 131-142 [doi]
• MML Clustering of Continuous-Valued Data Using Gaussian and t DistributionsYudi Agusta, David L. Dowe. 143-154 [doi]
• Optimizing Kernel-Based Nonlinear Subspace Methods Using Prototype Reduction SchemesSang-Woon Kim, B. John Oommen. 155-166 [doi]
• Intention and Rationality for PRS-Like AgentsWayne Wobcke. 167-178 [doi]
• Modeling and Simulation for Detecting a Distributed Denial of Service AttackHee Suk Seo, Tae Ho Cho. 179-190 [doi]
• Knowledge-Driven Processes Can Be ManagedJohn K. Debenham. 191-202 [doi]
• Adaptive Multi-agent Decision Making Using Analytical Hierarchy ProcessJuei-Nan Chen, Yueh-Min Huang, William C. Chu. 203-212 [doi]
• Autonomous Planning and Scheduling on the TechSat 21 MissionRob Sherwood, Steve A. Chien, Rebecca Castaño, Gregg Rabideau. 213-224 [doi]
• Omni-drive Robot Motion on Curved Paths: The Fastest Path between Two Points Is Not a Straight-LineMark Ashmore, Nick Barnes. 225-236 [doi]
• Indexing of Image Databases Using Untrained 4D Holographic Memory ModelRaj P. Gopalan, Grant Lee. 237-248 [doi]
• The Flux-Oriented Control of an Induction Machine Utilizing an Online Controller Parameter Adaptation SchemeZaiping Chen, Qiang Gao, Chao Dong, Hongjin Liu, Peng Zhang, Zhenlin Xu. 249-258 [doi]
• Modelling the Acquisition of Colour WordsMike Dowman. 259-271 [doi]
• Bayesian Information RewardLucas R. Hope, Kevin B. Korb. 272-283 [doi]
• Prediction of User Preference in Recommendation System Using Associative User Clustering and Bayesian Estimated ValueKyung-Yong Jung, Jung-Hyun Lee. 284-296 [doi]
• Argument Interpretation Using Minimum Message LengthSarah George, Ingrid Zukerman. 297-308 [doi]
• Genetic Programming for Classification: An Analysis of Convergence BehaviourThomas Loveard, Victor Ciesielski. 309-320 [doi]
• Lineage and Induction in the Development of Evolved Genotypes for Non-uniform 2D CAsPiet van Remortel, Tom Lenaerts, Bernard Manderick. 321-332 [doi]
• Evolution in the Orange Box - A New Approach to the Sphere-Packing Problem in CMAC-Based Neural NetworksDavid Cornforth. 333-343 [doi]
• Finding Worst-Case Instances of, and Lower Bounds for, Online Algorithms Using Genetic AlgorithmsAndrew P. Kosoresow, Matthew P. Johnson. 344-355 [doi]
• An Adaptive Activation Function for Higher Order Neural NetworksShuxiang Xu, Ming Zhang. 356-362 [doi]
• An Adaptive Learning Algorithm Aimed at Improving RBF Network Generalization AbilityJian Sun, Ruimin Shen, Fan Yang. 363-373 [doi]
• A Neural Network Online Training Algorithm Based on Compound Gradient VectorZaiping Chen, Jun Li, Youjun Yue, Qiang Gao, Hui Zhao, Zhenlin Xu. 374-384 [doi]
• Applications of Wavelet Transform and Artificial Neural Networks to Pattern Recognition for Environmental MonitoringCheol-Ki Kim, Eui-Young Cha. 385-394 [doi]
• Adapting Kernels by Variational Approach in SVMJunbin Gao, Steve R. Gunn, Jaz S. Kandola. 395-406 [doi]
• Learning to Reach the Pareto Optimal Nash Equilibrium as a TeamKatja Verbeeck, Ann Nowé, Tom Lenaerts, Johan Parent. 407-418 [doi]
• Computational Models of the Amygdala and the Orbitofrontal Cortex: A Hierarchical Reinforcement Learning System for Robotic ControlWeidong Zhou, Richard Coggins. 419-430 [doi]
• A General Approach for Building Constraint LanguagesPetra Hofstedt. 431-442 [doi]
• Metric SCSPs: Partial Constraint Satisfaction via Semiring CSPs Augmented with MetricsAditya Ghose, Peter Harvey. 443-454 [doi]
• A Hybrid Genetic Algorithm for School TimetablingPeter Wilke, Matthias Gröbner, Norbert Oster. 455-464 [doi]
• Genetic Scheduling on Minimal Processing Elements in the GridWensheng Yao, Baiyan Li, Jinyuan You. 465-476 [doi]
• Protein Sequences Classification Using Modular RBF Neural NetworksDianhui Wang, N. K. Lee, Tharam S. Dillon, Nicholas J. Hoogenraad. 477-486 [doi]
• Feature Extraction and Selection in Tool Condition Monitoring SystemSun Jie, G. S. Hong, Mustafizur Rahman 0002, Yoke San Wong. 487-497 [doi]
• A Robust Meaning Extraction Methodology Using Supervised Neural NetworksDimitris A. Karras, Basil G. Mertzios. 498-510 [doi]
• Solving Regression Problems Using Competitive Ensemble ModelsYakov Frayman, Bernard F. Rolfe, Geoffrey I. Webb. 511-522 [doi]
• Learning of Finite Unions of Tree Patterns with Internal Structured Variables from QueriesSatoshi Matsumoto, Takayoshi Shoudai, Tetsuhiro Miyahara, Tomoyuki Uchida. 523-534 [doi]
• TreeITL-Mine: Mining Frequent Itemsets Using Pattern Growth, Tid Intersection, and Prefix TreeRaj P. Gopalan, Yudho Giri Sucahyo. 535-546 [doi]
• Convergency of Learning ProcessDongmo Zhang, Norman Y. Foo. 547-556 [doi]
• Structured Features from Concept Lattices for Unsupervised Learning and ClassificationMichael Bain. 557-568 [doi]
• Towards Fewer Parameters for SAT Clause Weighting AlgorithmsJohn Thornton, Wayne J. Pullan, Justin Terry. 569-578 [doi]
• An Investigation of Variable Relationships in 3-SAT ProblemsOlena Kravchuk, Wayne J. Pullan, John Thornton, Abdul Sattar. 579-590 [doi]
• Modelling More Realistic SAT ProblemsAndrew Slater. 591-602 [doi]
• A Two Level Local Search for MAX-SAT Problems with Hard and Soft ConstraintsJohn Thornton, Stuart Bain, Abdul Sattar, Duc Nghia Pham. 603-614 [doi]
• Strong Pseudorandom Bit Sequence Generators Using Neural Network Techniques and Their Evaluation for Secure CommunicationsDimitris A. Karras, Vasilios Zorkadis. 615-626 [doi]
• Surface Feature Recognition of Wear DebrisMohammad Shakeel Laghari. 627-637 [doi]
• Improved Defect Detection Using Novel Wavelet Feature Extraction Involving Principal Component Analysis and Neural Network TechniquesDimitris A. Karras, Basil G. Mertzios. 638-647 [doi]
• Effectiveness for Machine Translation Method Using Inductive Learning on Number RepresentationMasafumi Matsuhara, Kenji Araki, Koji Tochinai. 648-659 [doi]
• Estimating Episodes of Care Using Linked Medical Claims DataGraham J. Williams, Rohan A. Baxter, Chris Kelman, Chris P. Rainsford, Hongxing He, Lifang Gu, Deanne Vickers, Simon Hawkins. 660-671 [doi]
• Adaptation of a Mamdani Fuzzy Inference System Using Neuro-Genetic Approach for Tactical Air Combat Decision Support SystemCong Tran, Ajith Abraham, Lakhmi C. Jain. 672-680 [doi]
• Optimization of Recurrent NN by GA with Variable Length GenotypeDragos Arotaritei, Mircea Gh. Negoita. 681-692 [doi]
• Theoretical Foundation for Nonlinear Edge-Preserving Regularized Learning Image RestorationDianhui Wang, Tharam S. Dillon. 693-703 [doi]
• The Application of Case Based Reasoning on Q&A SystemPeng Han, Ruimin Shen, Fan Yang, Qiang Yang. 704-713 [doi]
• Development of an Intelligent Tutoring System on Design of Liquid Retaining StructuresKwok-Wing Chau, Faris Albermani, S. L. Chan. 714 [doi]
• Real-Time Prediction of Water Stage with Artificial Neural Network ApproachKwok-Wing Chau, Chuntian Cheng. 715 [doi]
• On the Design of Mathematical ConceptsManfred Kerber, Martin Pollet. 716 [doi]
• Consistency of Trust TheoriesChuchang Liu, Maris A. Ozols. 717 [doi]
• An Artificially Intelligent Sports TipperAlan McCabe. 718 [doi]
• Selecting Semantics for Use with Semantic Pruning of Linear DeductionsMarianne Brown. 719 [doi]
• Calibration of Flow and Water Quality Modeling Using Genetic AlgorithmKwok-Wing Chau. 720 [doi]
• A Comparison of Machine Learning Approaches for the Automated Classification of DementiaHerbert F. Jelinek, David Cornforth, Patricia Waley, Eduardo Fernández, Wayne Robinson. 721-722 [doi]
• A Defeasible Logic of Policy-Based IntentionGuido Governatori, Vineet Padmanabhan, Abdul Sattar. 723 [doi]
• A Self-Organizing Territorial Approach to Multi-robot Search and SurveillanceToby J. Richer, Dan Corbett. 724 [doi]
• Knowledge-Based Techniques for Constraints Satisfaction in Resource Allocation ProblemsKhaireel A. Mohamed, Amitava Datta, Ryszard Kozera. 725 [doi]
• Effective SAT Planning by Speculative ComputationHidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue. 726-728 [doi]