15. Australian Joint Conference on Artificial Intelligence 2002: Canberra, Australia

Natural Language and Information Retrieval

• Debbie Richards, Kathrin Böttger, Oscar Aguilera:
  A Controlled Language to Assist Conversion of Use Case Descriptions into Concept Lattices. 1-11
  
• Kyongho Min, William H. Wilson, Yoo-Jin Moon:
  Preferred Document Classification for a Highly Inflectional/Derivational Language. 12-23
  
• Ingrid Zukerman, Bhavani Raskutti, Yingying Wen:
  Experiments in Query Paraphrasing for Information Retrieval. 24-35
  

Knowledge Representation and Reasoning

• Marina De Vos, Dirk Vermeir:
  Dynamic Decision-Making in Logic Programming and Game Theory. 36-47
  
• Akira Fusaoka:
  On a Linear Representation Theory for Quantitative Belief Change. 48-59
  
• Chuchang Liu, Maris A. Ozols:
  Trust in Secure Communication Systems - The Concept, Representations, and Reasoning Techniques. 60-70
  
• Jane Brennan, Eric Martin:
  Foundations for a Formalism of Nearness. 71-82
  

Deduction

• Seungyeob Choi, Manfred Kerber:
  Semantic Selection for Resolution in Clause Graphs. 83-94
  
• Jeremy E. Dawson, Rajeev Goré:
  Machine-Checking the Timed Interval Calculus. 95-106
  
• Wolfgang Mayer, Markus Stumptner:
  Modeling Programs with Unstructured Control Flow for Debugging. 107-118
  

Learning Theory I

• Lara Kornienko, David L. Dowe, David W. Albrecht:
  Message Length Formulation of Support Vector Machines for Binary Classification - A Preliminary Scheme. 119-130
  
• Peter J. Tan, David L. Dowe:
  MML Inference of Decision Graphs with Multi-way Joins. 131-142
  
• Yudi Agusta, David L. Dowe:
  MML Clustering of Continuous-Valued Data Using Gaussian and t Distributions. 143-154
  
• Sang-Woon Kim, B. John Oommen:
  Optimizing Kernel-Based Nonlinear Subspace Methods Using Prototype Reduction Schemes. 155-166
  

Agents

• Wayne Wobcke:
  Intention and Rationality for PRS-Like Agents. 167-178
  
• Hee Suk Seo, Tae Ho Cho:
  Modeling and Simulation for Detecting a Distributed Denial of Service Attack. 179-190
  
• John K. Debenham:
  Knowledge-Driven Processes Can Be Managed. 191-202
  
• Juei-Nan Chen, Yueh-Min Huang, William C. Chu:
  Adaptive Multi-agent Decision Making Using Analytical Hierarchy Process. 203-212
  

Intelligent Systems

• Rob Sherwood, Steve A. Chien, Rebecca Castaño, Gregg Rabideau:
  Autonomous Planning and Scheduling on the TechSat 21 Mission. 213-224
  
• Mark Ashmore, Nick Barnes:
  Omni-drive Robot Motion on Curved Paths: The Fastest Path between Two Points Is Not a Straight-Line. 225-236
  
• Raj P. Gopalan, Grant Lee:
  Indexing of Image Databases Using Untrained 4D Holographic Memory Model. 237-248
  
• Zaiping Chen, Qiang Gao, Chao Dong, Hongjin Liu, Peng Zhang, Zhenlin Xu:
  The Flux-Oriented Control of an Induction Machine Utilizing an Online Controller Parameter Adaptation Scheme. 249-258
  

Bayesian Reasoning and Classification

• Mike Dowman:
  Modelling the Acquisition of Colour Words. 259-271
  
• Lucas R. Hope, Kevin B. Korb:
  Bayesian Information Reward. 272-283
  
• Kyung-Yong Jung, Jung-Hyun Lee:
  Prediction of User Preference in Recommendation System Using Associative User Clustering and Bayesian Estimated Value. 284-296
  
• Sarah George, Ingrid Zukerman:
  Argument Interpretation Using Minimum Message Length. 297-308
  

Evolutionary Algorithms

• Thomas Loveard, Victor Ciesielski:
  Genetic Programming for Classification: An Analysis of Convergence Behaviour. 309-320
  
• Piet van Remortel, Tom Lenaerts, Bernard Manderick:
  Lineage and Induction in the Development of Evolved Genotypes for Non-uniform 2D CAs. 321-332
  
• David Cornforth:
  Evolution in the Orange Box - A New Approach to the Sphere-Packing Problem in CMAC-Based Neural Networks. 333-343
  
• Andrew P. Kosoresow, Matthew P. Johnson:
  Finding Worst-Case Instances of, and Lower Bounds for, Online Algorithms Using Genetic Algorithms. 344-355
  

Neural Networks I

• Shuxiang Xu, Ming Zhang:
  An Adaptive Activation Function for Higher Order Neural Networks. 356-362
  
• Jian Sun, Ruimin Shen, Fan Yang:
  An Adaptive Learning Algorithm Aimed at Improving RBF Network Generalization Ability. 363-373
  
• Zaiping Chen, Jun Li, Youjun Yue, Qiang Gao, Hui Zhao, Zhenlin Xu:
  A Neural Network Online Training Algorithm Based on Compound Gradient Vector. 374-384
  
• Cheol-Ki Kim, Eui-Young Cha:
  Applications of Wavelet Transform and Artificial Neural Networks to Pattern Recognition for Environmental Monitoring. 385-394
  

Reinforcement Learning

• Junbin Gao, Steve R. Gunn, Jaz S. Kandola:
  Adapting Kernels by Variational Approach in SVM. 395-406
  
• Katja Verbeeck, Ann Nowé, Tom Lenaerts, Johan Parent:
  Learning to Reach the Pareto Optimal Nash Equilibrium as a Team. 407-418
  
• Weidong Zhou, Richard Coggins:
  Computational Models of the Amygdala and the Orbitofrontal Cortex: A Hierarchical Reinforcement Learning System for Robotic Control. 419-430
  

Constraints and Scheduling

• Petra Hofstedt:
  A General Approach for Building Constraint Languages. 431-442
  
• Aditya Ghose, Peter Harvey:
  Metric SCSPs: Partial Constraint Satisfaction via Semiring CSPs Augmented with Metrics. 443-454
  
• Peter Wilke, Matthias Gröbner, Norbert Oster:
  A Hybrid Genetic Algorithm for School Timetabling. 455-464
  
• Wensheng Yao, Baiyan Li, Jinyuan You:
  Genetic Scheduling on Minimal Processing Elements in the Grid. 465-476
  

Neural Net Applications I

• Dianhui Wang, Nung Kion Lee, Tharam S. Dillon, Nicholas J. Hoogenraad:
  Protein Sequences Classification Using Modular RBF Neural Networks. 477-486
  
• Sun Jie, G. S. Hong, Mustafizur Rahman, Yoke San Wong:
  Feature Extraction and Selection in Tool Condition Monitoring System. 487-497
  
• Dimitris A. Karras, Basil G. Mertzios:
  A Robust Meaning Extraction Methodology Using Supervised Neural Networks. 498-510
  
• Yakov Frayman, Bernard F. Rolfe, Geoffrey I. Webb:
  Solving Regression Problems Using Competitive Ensemble Models. 511-522
  

Learning Theory II

• Satoshi Matsumoto, Takayoshi Shoudai, Tetsuhiro Miyahara, Tomoyuki Uchida:
  Learning of Finite Unions of Tree Patterns with Internal Structured Variables from Queries. 523-534
  
• Raj P. Gopalan, Yudho Giri Sucahyo:
  TreeITL-Mine: Mining Frequent Itemsets Using Pattern Growth, Tid Intersection, and Prefix Tree. 535-546
  
• Dongmo Zhang, Norman Y. Foo:
  Convergency of Learning Process. 547-556
  
• Michael Bain:
  Structured Features from Concept Lattices for Unsupervised Learning and Classification. 557-568
  

Satisfiability Reasoning

• John Thornton, Wayne J. Pullan, Justin Terry:
  Towards Fewer Parameters for SAT Clause Weighting Algorithms. 569-578
  
• Olena Kravchuk, Wayne J. Pullan, John Thornton, Abdul Sattar:
  An Investigation of Variable Relationships in 3-SAT Problems. 579-590
  
• Andrew Slater:
  Modelling More Realistic SAT Problems. 591-602
  
• John Thornton, Stuart Bain, Abdul Sattar, Duc Nghia Pham:
  A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints. 603-614
  

Neural Net Applications II

• Dimitris A. Karras, Vasilios Zorkadis:
  Strong Pseudorandom Bit Sequence Generators Using Neural Network Techniques and Their Evaluation for Secure Communications. 615-626
  
• Mohammad Shakeel Laghari:
  Surface Feature Recognition of Wear Debris. 627-637
  
• Dimitris A. Karras, Basil G. Mertzios:
  Improved Defect Detection Using Novel Wavelet Feature Extraction Involving Principal Component Analysis and Neural Network Techniques. 638-647
  

Machine Learning Applications

• Masafumi Matsuhara, Kenji Araki, Koji Tochinai:
  Effectiveness for Machine Translation Method Using Inductive Learning on Number Representation. 648-659
  
• Graham J. Williams, Rohan A. Baxter, Chris Kelman, Chris P. Rainsford, Hongxing He, Lifang Gu, Deanne Vickers, Simon Hawkins:
  Estimating Episodes of Care Using Linked Medical Claims Data. 660-671
  

Fuzzy Reasoning

• Cong Tran, Ajith Abraham, Lakhmi C. Jain:
  Adaptation of a Mamdani Fuzzy Inference System Using Neuro-Genetic Approach for Tactical Air Combat Decision Support System. 672-680
  
• Dragos Arotaritei, Mircea Gh. Negoita:
  Optimization of Recurrent NN by GA with Variable Length Genotype. 681-692
  

Neural Networks II and CBR

• Dianhui Wang, Tharam S. Dillon:
  Theoretical Foundation for Nonlinear Edge-Preserving Regularized Learning Image Restoration. 693-703
  
• Peng Han, Ruimin Shen, Fan Yang, Qiang Yang:
  The Application of Case Based Reasoning on Q&A System. 704-713
  

Abstracts of Posters

• Kwok-wing Chau, Faris Albermani, S. L. Chan:
  Development of an Intelligent Tutoring System on Design of Liquid Retaining Structures. 714
  
• Kwok-wing Chau, Chuntian Cheng:
  Real-Time Prediction of Water Stage with Artificial Neural Network Approach. 715
  
• Manfred Kerber, Martin Pollet:
  On the Design of Mathematical Concepts. 716
  
• Chuchang Liu, Maris A. Ozols:
  Consistency of Trust Theories. 717
  
• Alan McCabe:
  An Artificially Intelligent Sports Tipper. 718
  
• Marianne Brown:
  Selecting Semantics for Use with Semantic Pruning of Linear Deductions. 719
  
• Kwok-wing Chau:
  Calibration of Flow and Water Quality Modeling Using Genetic Algorithm. 720
  
• Herbert F. Jelinek, David Cornforth, Patricia Waley, Eduardo Fernández, Wayne Robinson:
  A Comparison of Machine Learning Approaches for the Automated Classification of Dementia. 721-722
  
• Guido Governatori, Vineet Padmanabhan, Abdul Sattar:
  A Defeasible Logic of Policy-Based Intention. 723
  
• Toby J. Richer, Dan Corbett:
  A Self-Organizing Territorial Approach to Multi-robot Search and Surveillance. 724
  
• Khaireel A. Mohamed, Amitava Datta, Ryszard Kozera:
  Knowledge-Based Techniques for Constraints Satisfaction in Resource Allocation Problems. 725
  
• Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue:
  Effective SAT Planning by Speculative Computation. 726-728
  

Last update Tue May 22 23:23:00 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page