AI 2002: Advances in Artificial Intelligence

Trust in Secure Communication Systems - The Concept, Representations, and Reasoning Techniques

Pages 60-70

Liu, Chuchang (et al.)

Foundations for a Formalism of Nearness

Pages 71-82

Brennan, Jane (et al.)

Semantic Selection for Resolution in Clause Graphs

Pages 83-94

Choi, Seungyeob (et al.)

Machine-Checking the Timed Interval Calculus

Pages 95-106

Dawson, Jeremy E. (et al.)

Modeling Programs with Unstructured Control Flow for Debugging

Pages 107-118

Mayer, Wolfgang (et al.)

Message Length Formulation of Support Vector Machines for Binary Classification A Preliminary Scheme

Pages 119-130

Kornienko, Lara (et al.)

MML Inference of Decision Graphs with Multi-way Joins

Pages 131-142

Tan, Peter J. (et al.)

MML Clustering of Continuous-Valued Data Using Gaussian and t Distributions

Pages 143-154

Agusta, Yudi (et al.)

Optimizing Kernel-Based Nonlinear Subspace Methods Using Prototype Reduction Schemes

Pages 155-166

Kim, Sang-Woon (et al.)

Intention and Rationality for PRS-Like Agents

Pages 167-178

Wobcke, Wayne

Modeling and Simulation for Detecting a Distributed Denial of Service Attack

Pages 179-190

Seo, Hee Suk (et al.)

Knowledge-Driven Processes Can Be Managed

Pages 191-202

Debenham, John

Adaptive Multi-agent Decision Making Using Analytical Hierarchy Process

Pages 203-212

Juei-Nan, Chen (et al.)

Autonomous Planning and Scheduling on the TechSat 21 Mission

Pages 213-224

Sherwood, Rob (et al.)

Omni-drive Robot Motion on Curved Paths: The Fastest Path between Two Points Is Not a Straight-Line

Pages 225-236

Ashmore, Mark (et al.)

Indexing of Image Databases Using Untrained 4D Holographic Memory Model

Pages 237-248

Gopalan, Raj P. (et al.)

The Flux-Oriented Control of an Induction Machine Utilizing an Online Controller Parameter Adaptation Scheme

Pages 249-258

Chen, Zaiping (et al.)

Modelling the Acquisition of Colour Words

Pages 259-271

Dowman, Mike

Bayesian Information Reward

Pages 272-283

Hope, Lucas R. (et al.)

Prediction of User Preference in Recommendation System Using Associative User Clustering and Bayesian Estimated Value

Pages 284-296

Kyung-Yong, Jung (et al.)

Argument Interpretation Using Minimum Message Length

Pages 297-308

George, Sarah (et al.)

Genetic Programming for Classification: An Analysis of Convergence Behaviour

Pages 309-320

Loveard, Thomas (et al.)

Lineage and Induction in the Development of Evolved Genotypes for Non-uniform 2D CAs

Pages 321-332

Remortel, Piet (et al.)

Evolution in the Orange Box — A New Approach to the Sphere-Packing Problem in CMAC-Based Neural Networks

Pages 333-343

Cornforth, David

Finding Worst-Case Instances of, and Lower Bounds for, Online Algorithms Using Genetic Algorithms

Pages 344-355

Kosoresow, Andrew P. (et al.)

An Adaptive Activation Function for Higher Order Neural Networks

Pages 356-362

Xu, Shuxiang (et al.)

An Adaptive Learning Algorithm Aimed at Improving RBF Network Generalization Ability

Pages 363-373

Sun, Jian (et al.)

A Neural Network Online Training Algorithm Based on Compound Gradient Vector

Pages 374-384

Chen, Zaiping (et al.)

Applications of Wavelet Transform and Artificial Neural Networks to Pattern Recognition for Environmental Monitoring

Pages 385-394

Kim, Cheol-Ki (et al.)

Adapting Kernels by Variational Approach in SVM

Pages 395-406

Gao, Junbin (et al.)

Learning to Reach the Pareto Optimal Nash Equilibrium as a Team

Pages 407-418

Verbeeck, Katja (et al.)

Computational Models of the Amygdala and the Orbitofrontal Cortex: A Hierarchical Reinforcement Learning System for Robotic Control

Pages 419-430

Zhou, Weidong (et al.)

A General Approach for Building Constraint Languages

Pages 431-442

Hofstedt, Petra

Metric SCSPs: Partial Constraint Satisfaction via Semiring CSPs Augmented with Metrics

Pages 443-454

Ghose, Aditya (et al.)

A Hybrid Genetic Algorithm for School Timetabling

Pages 455-464

Wilke, Peter (et al.)

Genetic Scheduling on Minimal Processing Elements in the Grid

Pages 465-476

Yao, Wensheng (et al.)

Protein Sequences Classification Using Modular RBF Neural Networks

Pages 477-486

Wang, Dianhui (et al.)

Feature Extraction and Selection in Tool Condition Monitoring System

Pages 487-497

Jie, Sun (et al.)

A Robust Meaning Extraction Methodology Using Supervised Neural Networks

Pages 498-510

Karras, D.A. (et al.)

Solving Regression Problems Using Competitive Ensemble Models

Pages 511-522

Frayman, Yakov (et al.)

Learning of Finite Unions of Tree Patterns with Internal Structured Variables from Queries

Pages 523-534

Matsumoto, Satoshi (et al.)

TreeITL-Mine: Mining Frequent Itemsets Using Pattern Growth, Tid Intersection, and Prefix Tree

Pages 535-546

Gopalan, Raj P. (et al.)

Convergency of Learning Process

Pages 547-556

Zhang, Dongmo (et al.)

Structured Features from Concept Lattices for Unsupervised Learning and Classification

Pages 557-568

Bain, Michael

Towards Fewer Parameters for SAT Clause Weighting Algorithms

Pages 569-578

Thornton, John (et al.)

An Investigation of Variable Relationships in 3-SAT Problems

Pages 579-590

Kravchuk, Olena (et al.)

Modelling More Realistic SAT Problems

Pages 591-602

Slater, Andrew

A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints

Pages 603-614

Thornton, John (et al.)

Strong Pseudorandom Bit Sequence Generators Using Neural Network Techniques and Their Evaluation for Secure Communications

Pages 615-626

Karras, D.A. (et al.)

Surface Feature Recognition of Wear Debris

Pages 627-637

Laghari, Mohammad Shakeel

Improved Defect Detection Using Novel Wavelet Feature Extraction Involving Principal Component Analysis and Neural Network Techniques.

Pages 638-647

Karras, D.A. (et al.)

Effectiveness for Machine Translation Method Using Inductive Learning on Number Representation

Pages 648-659

Matsuhara, Masafumi (et al.)

Estimating Episodes of Care Using Linked Medical Claims Data

Pages 660-671

Williams, Graham (et al.)

Adaptation of a Mamdani Fuzzy Inference System Using Neuro-genetic Approach for Tactical Air Combat Decision Support System

Pages 672-680

Tran, Cong (et al.)

Optimization of Recurrent NN by GA with Variable Length Genotype

Pages 681-692

Arotaritei, Dragos (et al.)

Theoretical Foundation for Nonlinear Edge-Preserving Regularized Learning Image Restoration

Pages 693-703

Wang, Dianhui (et al.)

The Application of Case Based Reasoning on Q&A System

Pages 704-713

Han, Peng (et al.)

Development of an Intelligent Tutoring System on Design of Liquid Retaining Structures

Pages 714-714

Chau, K. W. (et al.)

Real-Time Prediction of Water Stage with Artificial Neural Network Approach

Pages 715-715

Chau, K. W. (et al.)

On the Design of Mathematical Concepts

Pages 716-716

Kerber, Manfred (et al.)

Consistency of Trust Theories

Pages 717-717

Liu, Chuchang (et al.)

An Artificially Intelligent Sports Tipper

Pages 718-718

McCabe, Alan

Selecting Semantics for Use with Semantic Pruning of Linear Deductions

Pages 719-719

Brown, Marianne

Calibration of Flow and Water Quality Modeling Using Genetic Algorithm

Pages 720-720

Chau, Kwokwing

A Comparison of Machine Learning Approaches for the Automated Classification of Dementia

Pages 721-722

Jelinek, Herbert (et al.)

A Defeasible Logic of Policy-Based Intention (Extended Abstract)

Pages 723-723

Governatori, Guido (et al.)

A Self-Organizing Territorial Approach to Multi-robot Search and Surveillance

Pages 724-724

Richer, Toby J. (et al.)

Knowledge-Based Techniques for Constraints Satisfaction in Resource Allocation Problems

Pages 725-725

Mohamed, K. A. (et al.)

Effective SAT Planning by Speculative Computation

Pages 726-726

Nabeshima, Hidetomo (et al.)