AI 2007: Advances in Artificial Intelligence

ISBN-13: 9783540769262 / Angielski / Miękka / 2007 / 868 str.

Mehmet A. Orgun

Opis

This volume contains the papers presented at AI 2007: The 20th Australian Joint Conference on Arti?cial Intelligence held during December 2-6, 2007 on the Gold Coast, Queensland, Australia. AI 2007 attracted 194 submissions (full papers) from 34 countries. The review process was held in two stages. In the ?rst stage, the submissions were assessed for their relevance and readability by the Senior Program Committee members. Those submissions that passed the ?rst stage were then reviewed by at least three Program Committee members and independent reviewers. After extensive disc- sions, the Committee decided to accept 60 regular papers (acceptance rate of 31%) and 44 short papers (acceptance rate of 22.7%). Two regular papers and four short papers were subsequently withdrawn and are not included in the proceedings. AI 2007 featured invited talks from four internationally distinguished - searchers, namely, Patrick Doherty, Norman Foo, Richard Hartley and Robert Hecht-Nielsen. They shared their insights and work with us and their contri- tions to AI 2007 were greatly appreciated. AI 2007 also featured workshops on integrating AI and data-mining, semantic biomedicine and ontology. The short papers were presented in an interactive poster session and contributed to a st- ulating conference. It was a great pleasure for us to serve as the Program Co-chairs of AI 2007.

Spis treści

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