Front matter
1-11
A Controlled Language to Assist Conversion of Use Case Descriptions into Concept Lattices
Debbie Richards, Kathrin Boettger and Oscar Aguilera
12-23
Preferred Document Classification for a Highly Inflectional/Derivational Language
Kyongho Min, William H. Wilson and Yoo-Jin Moon
24-35
Experiments in Query Paraphrasing for Information Retrieval
Ingrid Zukerman, Bhavani Raskutti and Yingying Wen
36-47
Dynamic Decision-Making in Logic Programming and Game Theory
Marina De Vos and Dirk Vermeir
48-59
On a Linear Representation Theory for Quantitative Belief Change
Akira Fusaoka
60-70
Trust in Secure Communication Systems - The Concept, Representations, and Reasoning Techniques
Chuchang Liu and Maris A. Ozols
71-82
Foundations for a Formalism of Nearness
Jane Brennan and Eric Martin
83-94
Semantic Selection for Resolution in Clause Graphs
Seungyeob Choi and Manfred Kerber
95-106
Machine-Checking the Timed Interval Calculus
Jeremy E. Dawson and Rajeev Goré
107-118
Modeling Programs with Unstructured Control Flow for Debugging
Wolfgang Mayer and Markus Stumptner
119-130
Message Length Formulation of Support Vector Machines for Binary Classification A Preliminary Scheme
Lara Kornienko, David L. Dowe and David W. Albrecht
131-142
MML Inference of Decision Graphs with Multi-way Joins
Peter J. Tan and David L. Dowe
143-154
MML Clustering of Continuous-Valued Data Using Gaussian and
t
Distributions
Yudi Agusta and David L. Dowe
155-166
Optimizing Kernel-Based Nonlinear Subspace Methods Using Prototype Reduction Schemes
Sang-Woon Kim and B. John Oommen
167-178
Intention and Rationality for PRS-Like Agents
Wayne Wobcke
179-190
Modeling and Simulation for Detecting a Distributed Denial of Service Attack
Hee Suk Seo and Tae Ho Cho
191-202
Knowledge-Driven Processes Can Be Managed
John Debenham
203-212
Adaptive Multi-agent Decision Making Using Analytical Hierarchy Process
Chen Juei-Nan, Huang Yueh-Min and William C. Chu
213-224
Autonomous Planning and Scheduling on the TechSat 21 Mission
Rob Sherwood, Steve Chien, Rebecca Castano and Gregg Rabideau
225-236
Omni-drive Robot Motion on Curved Paths: The Fastest Path between Two Points Is Not a Straight-Line
Mark Ashmore and Nick Barnes
237-248
Indexing of Image Databases Using Untrained 4D Holographic Memory Model
Raj P. Gopalan and Grant Lee
249-258
The Flux-Oriented Control of an Induction Machine Utilizing an Online Controller Parameter Adaptation Scheme
Zaiping Chen, Qiang Gao, Chao Dong, Hongjin Liu and Peng Zhang, et al.
259-271
Modelling the Acquisition of Colour Words
Mike Dowman
272-283
Bayesian Information Reward
Lucas R. Hope and Kevin B. Korb
284-296
Prediction of User Preference in Recommendation System Using Associative User Clustering and Bayesian Estimated Value
Jung Kyung-Yong and Lee Jung-Hyun
297-308
Argument Interpretation Using Minimum Message Length
Sarah George and Ingrid Zukerman
309-320
Genetic Programming for Classification: An Analysis of Convergence Behaviour
Thomas Loveard and Vic Ciesielski
321-332
Lineage and Induction in the Development of Evolved Genotypes for Non-uniform 2D CAs
Piet van Remortel, Tom Lenaerts and Bernard Manderick
333-343
Evolution in the Orange Box — A New Approach to the Sphere-Packing Problem in CMAC-Based Neural Networks
David Cornforth
344-355
Finding Worst-Case Instances of, and Lower Bounds for, Online Algorithms Using Genetic Algorithms
Andrew P. Kosoresow and Matthew P. Johnson
356-362
An Adaptive Activation Function for Higher Order Neural Networks
Shuxiang Xu and Ming Zhang
363-373
An Adaptive Learning Algorithm Aimed at Improving RBF Network Generalization Ability
Jian Sun, Rui-Min Shen and Fan Yang
374-384
A Neural Network Online Training Algorithm Based on Compound Gradient Vector
Zaiping Chen, Jun Li, Youjun Yue, Qiang Gao and Hui Zhao, et al.
385-394
Applications of Wavelet Transform and Artificial Neural Networks to Pattern Recognition for Environmental Monitoring
Cheol-Ki Kim and Eui-Young Cha
395-406
Adapting Kernels by Variational Approach in SVM
Junbin Gao, Steve Gunn and Jaz Kandola
407-418
Learning to Reach the Pareto Optimal Nash Equilibrium as a Team
Katja Verbeeck, Ann Nowé, Tom Lenaerts and Johan Parent
419-430
Computational Models of the Amygdala and the Orbitofrontal Cortex: A Hierarchical Reinforcement Learning System for Robotic Control
Weidong Zhou and Richard Coggins
431-442
A General Approach for Building Constraint Languages
Petra Hofstedt
443-454
Metric SCSPs: Partial Constraint Satisfaction via Semiring CSPs Augmented with Metrics
Aditya Ghose and Peter Harvey
455-464
A Hybrid Genetic Algorithm for School Timetabling
Peter Wilke, Matthias Gröbner and Norbert Oster
465-476
Genetic Scheduling on Minimal Processing Elements in the Grid
Wensheng Yao, Baiyan Li and Jinyuan You
477-486
Protein Sequences Classification Using Modular RBF Neural Networks
Dianhui Wang, N.K. Lee, T.S. Dillon and N.J. Hoogenraad
487-497
Feature Extraction and Selection in Tool Condition Monitoring System
Sun Jie, G.S. Hong, M. Rahman and Y.S. Wong
498-510
A Robust Meaning Extraction Methodology Using Supervised Neural Networks
D.A. Karras and B.G. Mertzios
511-522
Solving Regression Problems Using Competitive Ensemble Models
Yakov Frayman, Bernard F. Rolfe and Geoffrey I. Webb
523-534
Learning of Finite Unions of Tree Patterns with Internal Structured Variables from Queries
Satoshi Matsumoto, Takayoshi Shoudai, Tetsuhiro Miyahara and Tomoyuki Uchida
535-546
TreeITL-Mine: Mining Frequent Itemsets Using Pattern Growth, Tid Intersection, and Prefix Tree
Raj P. Gopalan and Yudho Giri Sucahyo
547-556
Convergency of Learning Process
Dongmo Zhang and Norman Foo
557-568
Structured Features from Concept Lattices for Unsupervised Learning and Classification
Michael Bain
569-578
Towards Fewer Parameters for SAT Clause Weighting Algorithms
John Thornton, Wayne Pullan and Justin Terry
579-590
An Investigation of Variable Relationships in 3-SAT Problems
Olena Kravchuk, Wayne Pullan, John Thornton and Abdul Sattar
591-602
Modelling More Realistic SAT Problems
Andrew Slater
603-614
A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints
John Thornton, Stuart Bain, Abdul Sattar and Duc Nghia Pham
615-626
Strong Pseudorandom Bit Sequence Generators Using Neural Network Techniques and Their Evaluation for Secure Communications
D.A. Karras and V. Zorkadis
627-637
Surface Feature Recognition of Wear Debris
Mohammad Shakeel Laghari
638-647
Improved Defect Detection Using Novel Wavelet Feature Extraction Involving Principal Component Analysis and Neural Network Techniques.
D.A. Karras and B.G. Mertzios
648-659
Effectiveness for Machine Translation Method Using Inductive Learning on Number Representation
Masafumi Matsuhara, Kenji Araki and Koji Tochinai
660-671
Estimating Episodes of Care Using Linked Medical Claims Data
Graham Williams, Rohan Baxter, Chris Kelman, Chris Rainsford and Hongxing He, et al.
672-680
Adaptation of a Mamdani Fuzzy Inference System Using Neuro-genetic Approach for Tactical Air Combat Decision Support System
Cong Tran, Ajith Abraham and Lakhmi Jain
681-692
Optimization of Recurrent NN by GA with Variable Length Genotype
Dragos Arotaritei and Mircea G. Negoita
693-703
Theoretical Foundation for Nonlinear Edge-Preserving Regularized Learning Image Restoration
Dianhui Wang and Tharam S. Dillon
704-713
The Application of Case Based Reasoning on Q&A System
Peng Han, Rui-Min Shen, Fan Yang and Qiang Yang
714
Development of an Intelligent Tutoring System on Design of Liquid Retaining Structures
K. W. Chau, F. Albermani and S. L. Chan
715
Real-Time Prediction of Water Stage with Artificial Neural Network Approach
K. W. Chau and C. T. Cheng
716
On the Design of Mathematical Concepts
Manfred Kerber and Martin Pollet
717
Consistency of Trust Theories
Chuchang Liu and Maris A. Ozols
718
An Artificially Intelligent Sports Tipper
Alan McCabe
719
Selecting Semantics for Use with Semantic Pruning of Linear Deductions
Marianne Brown
720
Calibration of Flow and Water Quality Modeling Using Genetic Algorithm
Kwokwing Chau
721-722
A Comparison of Machine Learning Approaches for the Automated Classification of Dementia
Herbert Jelinek, David Cornforth, Patricia Waley, Eduardo Fernandez and Wayne Robinson
723
A Defeasible Logic of Policy-Based Intention (Extended Abstract)
Guido Governatori, Vineet Padmanabhan and Abdul Sattar
724
A Self-Organizing Territorial Approach to Multi-robot Search and Surveillance
Toby J. Richer and Dan R. Corbett
725
Knowledge-Based Techniques for Constraints Satisfaction in Resource Allocation Problems
K. A. Mohamed, A. Datta and R. Kozera
726
Effective SAT Planning by Speculative Computation
Hidetomo Nabeshima, Koji Iwanuma and Katsumi Inoue
Back matter