AI 2007 : Advances in artificial intelligence : 20th Australian Joint Conference on Artificial Intelligence Gold Coast, Australia, December 2-6, 2007 : proceedings
著者
書誌事項
AI 2007 : Advances in artificial intelligence : 20th Australian Joint Conference on Artificial Intelligence Gold Coast, Australia, December 2-6, 2007 : proceedings
（Lecture notes in computer science, 4830 . Lecture notes in artificial intelligence）
Springer, c2007
大学図書館所蔵 件 / 全3件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
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.
目次
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.
「Nielsen BookData」 より
