AI 2007 - Advances in Artificial Intelligence : 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings

by Orgun, Mehmet A.; Thornton, John

• ISBN13: 9783540769262
• ISBN10: 3540769269
• Format: Paperback
• Copyright: 2007-12-20
• Publisher: Springer Verlag

Summary

This book constitutes the refereed proceedings of the 20th Australian Joint Conference on Artificial Intelligence, AI 2007, held in Gold Coast, Australia, in December 2007.The 58 revised full papers and 40 revised short papers presented together with the extended abstracts of three invited speeches were carefully reviewed and selected from 194 submissions. The papers are organized in topical sections on a broad range of subjects.

Table of Contents

Invited Talks
A UAV Search and Rescue Scenario with Human Body Detection and Geolocalization	p. 1
Social Agents	p. 14
Globally Optimal Solutions to Vision Using Convex and Quasi-convex Optimization	p. 15
Machine Learning
Efficient Learning of Bayesian Network Classifiers: An Extension to the TAN Classifier	p. 16
Mixture of the Robust L1 Distributions and Its Applications	p. 26
On Using a Hierarchy of Twofold Resource Allocation Automata to Solve Stochastic Nonlinear Resource Allocation Problems	p. 36
An Investigation into the Interaction Between Feature Selection and Discretization: Learning How and When to Read Numbers	p. 48
Safe State Abstraction and Reusable Continuing Subtasks in Hierarchical Reinforcement Learning	p. 58
Local Learning Algorithm for Markov Blanket Discovery	p. 68
A Novel Ordering-Based Greedy Bayesian Network Learning Algorithm on Limited Data	p. 80
New Options for Hoeffding Trees	p. 90
Neural Networks
Avoiding Local Minima in Feedforward Neural Networks by Simultaneous Learning	p. 100
Some Analysis on the Network of Bursting Neurons: Quantifying Behavioral Synchronization	p. 110
Comparative Analysis of Multiple Neural Networks for Online Identification of a UAV	p. 120
Prediction of Polysomnographic Measurements	p. 130
Evolutionary Computing
An Adaptive Approach for QoS-Aware Web Service Composition Using Cultural Algorithms	p. 140
A Genetic Programming Approach to Extraction of Glycan Motifs Using Tree Structured Patterns	p. 150
Feature Construction and Dimension Reduction Using Genetic Programming	p. 160
Adjusting Population Distance for the Dual-Population Genetic Algorithm	p. 171
Constraint Satisfaction
An Improved Concurrent Search Algorithm for Distributed CSPs	p. 181
A Parameterized Local Consistency for Redundant Modeling in Weighted CSPs	p. 191
Modeling and Solving Semiring Constraint Satisfaction Problems by Transformation to Weighted Semiring Max-SAT	p. 202
Satisfiability
Advances in Local Search for Satisfiability	p. 213
Clone: Solving Weighted Max-SAT in a Reduced Search Space	p. 223
A CNF Formula Hierarchy over the Hypercube	p. 234
Planning as Satisfiability with Relaxed [at least one exists]-Step Plans	p. 244
Automated Reasoning
Forgetting in Logic Programs with Ordered Disjunction	p. 254
The 'Majority' and 'by Default' Modalities	p. 263
Restricted Higher-Order Anti-unification for Analogy Making	p. 273
A Template Matching Table for Speeding-Up Game-Tree Searches for Hex	p. 283
Customizing Qualitative Spatial and Temporal Calculi	p. 293
Knowledge Discovery
extraRelief: Improving Relief by Efficient Selection of Instances	p. 305
Constraint-Based Mining of Web Page Associations	p. 315
Does Multi-user Document Classification Really Help Knowledge Management?	p. 327
Not All Words Are Created Equal: Extracting Semantic Orientation as a Function of Adjective Relevance	p. 337
Robotics
A Bio-inspired Method for Incipient Slip Detection	p. 347
TalkBack: Feedback from a Miniature Robot	p. 357
Social Intelligence
Using Viewing Time for Theme Prediction in Cultural Heritage Spaces	p. 367
Collaborative Tagging in Recommender Systems	p. 377
Computational Imagination: Research Agenda	p. 387
Ontologies and Semantic Web
An Upper Ontology for Event Classifications and Relations	p. 394
A Within-Frame Ontological Extension on FrameNet: Application in Predicate Chain Analysis and Question Answering	p. 404
Using Clustering for Web Information Extraction	p. 415
Natural Language Systems
A Decision Tree Approach to Sentence Chunking	p. 425
The Semantic Representation of Temporal Expressions in Text	p. 435
Effectiveness of Methods for Syntactic and Semantic Recognition of Numeral Strings: Tradeoffs Between Number of Features and Length of Word N-Grams	p. 445
Using Automated Error Profiling of Texts for Improved Selection of Correction Candidates for Garbled Tokens	p. 456
Hypothesis Generation and Maintenance in the Interpretation of Spoken Utterances	p. 466
Knowledge Representation
Temporal Extensions to Defeasible Logic	p. 476
Characterising Deadlines in Temporal Model Defeasible Logic	p. 486
Dialogue Games in Defeasible Logic	p. 497
Implementing Iterated Belief Change Via Prime Implicates	p. 507
Expert Systems
Applying MCRDR to a Multidisciplinary Domain	p. 519
Continuity of Fuzzy Approximate Reasoning and Its Application to Optimization	p. 529
Applications of AI
Tomographic Reconstruction of Images from Noisy Projections - A Preliminary Study	p. 539
Automated Intelligent Abundance Analysis of Scallop Survey Video Footage	p. 549
Multiple Classifier Object Detection with Confidence Measures	p. 559
Agent-Based Distributed Energy Management	p. 569
Adaptation Knowledge from the Case Base	p. 579
Building Classification Models from Microarray Data with Tree-Based Classification Algorithms	p. 589
MAUSA: Using Simulated Annealing for Guide Tree Construction in Multiple Sequence Alignment	p. 599
Short Papers
A System for Modal and Deontic Defeasible Reasoning	p. 609
Time-Reversal in Conway's Life as SAT	p. 614
A Knowledge-Based Approach to Named Entity Disambiguation in News Articles	p. 619
Real-Time Scheduling for Non-crossing Stacking Cranes in an Automated Container Terminal	p. 625
The Detrimentality of Crossover	p. 632
Automatic Sapstain Detection in Processed Timber	p. 637
Structure-Sensitive Learning of Text Types	p. 642
A Comparison of Neural-Based Techniques Investigating Rotational Invariance for Upright People Detection in Low Resolution Imagery	p. 647
Multilevel Thresholding Method for Image Segmentation Based on an Adaptive Particle Swarm Optimization Algorithm	p. 654
Twin Kernel Embedding with Relaxed Constraints on Dimensionality Reduction for Structured Data	p. 659
Evaluation of Connectives Acquisition in a Humanoid Robot Using Direct Physical Feedback	p. 664
To Better Handle Concept Change and Noise: A Cellular Automata Approach to Data Stream Classification	p. 669
Categorizing Software Engineering Knowledge Using a Combination of SWEBOK and Text Categorization	p. 675
An Improved Probability Density Function for Representing Landmark Positions in Bearing-Only SLAM Systems	p. 682
Weight Redistribution for Unweighted MAX-SAT	p. 687
A HMM-Based Hierarchical Framework for Long-Term Population Projection of Small Areas	p. 694
Backbone of the p-Median Problem	p. 699
One Shot Associative Memory Method for Distorted Pattern Recognition	p. 705
Efficiently Finding Negative Association Rules Without Support Threshold	p. 710
A Data Mining Algorithm for Designing the Conventional Cellular Manufacturing Systems	p. 715
A Compromised Large-Scale Neighborhood Search Heuristic for Cargo Loading Planning	p. 721
Concurrent Temporal Planning Using Timed Petri Nets - Policy Evaluation	p. 727
Validation of a Reinforcement Learning Policy for Dosage Optimization of Erythropoietin	p. 732
Pixel-Based Colour Image Segmentation Using Support Vector Machine for Automatic Pipe Inspection	p. 739
An Approach to Spanish Subjunctive Mood in Japanese to Spanish Machine Translation	p. 744
Reasoning About Hybrid Systems Based on a Nonstandard Model	p. 749
Merging Algorithm to Reduce Dimensionality in Application to Web-Mining	p. 755
Human Behavior Analysis for Human-Robot Interaction in Indoor Environments	p. 762
Fitness Functions in Genetic Programming for Classification with Unbalanced Data	p. 769
Protein Structure Alignment Using Maximum Cliques and Local Search	p. 776
SMART: Structured Memory for Abstract Reasoning and Thinking	p. 781
An Efficient Segmentation Technique for Known Touching Objects Using a Genetic Algorithm Approach	p. 786
Elements of a Learning Interface for Genre Qualified Search	p. 791
A System for Acquisition of Noun Concepts from Utterances for Images Using the Label Acquisition Rules	p. 798
Branching Rules for Satisfiability Analysed with Factor Analysis	p. 803
Hybrid Methods to Select Informative Gene Sets in Microarray Data Classification	p. 810
An EM Algorithm for Independent Component Analysis Using an AR-GGD Source Model	p. 815
Bagging Support Vector Machine for Classification of SELDI-ToF Mass Spectra of Ovarian Cancer Serum Samples	p. 820
Class Association Rule Mining with Multiple Imbalanced Attributes	p. 827
DBSC: A Dependency-Based Subspace Clustering Algorithm for High Dimensional Numerical Datasets	p. 832
Author Index	p. 839
Table of Contents provided by Ingram. All Rights Reserved.