20. Australian Joint Conference on Artificial Intelligence 2007: Gold Coast, Australia

Invited Talks

• Patrick Doherty, Piotr Rudol:
  A UAV Search and Rescue Scenario with Human Body Detection and Geolocalization. 1-13
  
• Norman Y. Foo:
  Social Agents. 14
  
• Richard Hartley:
  Globally Optimal Solutions to Vision Using Convex and Quasi-convex Optimization. 15
  

Machine Learning

• Alexandra M. Carvalho, Arlindo L. Oliveira, Marie-France Sagot:
  Efficient Learning of Bayesian Network Classifiers. 16-25
  
• Junbin Gao, Richard Y. Xu:
  Mixture of the Robust L1 Distributions and Its Applications. 26-35
  
• Ole-Christoffer Granmo, B. John Oommen:
  On Using a Hierarchy of Twofold Resource Allocation Automata to Solve Stochastic Nonlinear Resource Allocation Problems. 36-47
  
• Sumukh Ghodke, Timothy Baldwin:
  An Investigation into the Interaction Between Feature Selection and Discretization: Learning How and When to Read Numbers. 48-57
  
• Bernhard Hengst:
  Safe State Abstraction and Reusable Continuing Subtasks in Hierarchical Reinforcement Learning. 58-67
  
• Shunkai Fu, Michel Desmarais:
  Local Learning Algorithm for Markov Blanket Discovery. 68-79
  
• Feng Liu, Fengzhan Tian, QiLiang Zhu:
  A Novel Ordering-Based Greedy Bayesian Network Learning Algorithm on Limited Data. 80-89
  
• Bernhard Pfahringer, Geoffrey Holmes, Richard Kirkby:
  New Options for Hoeffding Trees. 90-99
  

Neural Networks

• Akarachai Atakulreka, Daricha Sutivong:
  Avoiding Local Minima in Feedforward Neural Networks by Simultaneous Learning. 100-109
  
• Dragos Calitoiu, B. John Oommen, Doron Nussbaum:
  Some Analysis on the Network of Bursting Neurons: Quantifying Behavioral Synchronization. 110-119
  
• Vishwas R. Puttige, Sreenatha G. Anavatti, Tapabrata Ray:
  Comparative Analysis of Multiple Neural Networks for Online Identification of a UAV. 120-129
  
• S. I. Rathnayake, Udantha R. Abeyratne:
  Prediction of Polysomnographic Measurements. 130-139
  

Evolutionary Computing

• Ziad Kobti, Wang Zhiyang:
  An Adaptive Approach for QoS-Aware Web Service Composition Using Cultural Algorithms. 140-149
  
• Masatoshi Nagamine, Tetsuhiro Miyahara, Tetsuji Kuboyama, Hiroaki Ueda, Kenichi Takahashi:
  A Genetic Programming Approach to Extraction of Glycan Motifs Using Tree Structured Patterns. 150-159
  
• Kourosh Neshatian, Mengjie Zhang, Mark Johnston:
  Feature Construction and Dimension Reduction Using Genetic Programming. 160-170
  
• Taejin Park, Ri Choe, Kwang Ryel Ryu:
  Adjusting Population Distance for the Dual-Population Genetic Algorithm. 171-180
  

Constraint Satisfaction

• Jian Gao, Jigui Sun, Yonggang Zhang:
  An Improved Concurrent Search Algorithm for Distributed CSPs. 181-190
  
• Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo:
  A Parameterized Local Consistency for Redundant Modeling in Weighted CSPs. 191-201
  
• Louise Leenen, Anbulagan, Thomas Meyer, Aditya K. Ghose:
  Modeling and Solving Semiring Constraint Satisfaction Problems by Transformation to Weighted Semiring Max-SAT. 202-212
  

Satisfiability

• Duc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar:
  Advances in Local Search for Satisfiability. 213-222
  
• Knot Pipatsrisawat, Adnan Darwiche:
  Clone: Solving Weighted Max-SAT in a Reduced Search Space. 223-233
  
• Stefan Porschen:
  A CNF Formula Hierarchy over the Hypercube. 234-243
  
• Martin Wehrle, Jussi Rintanen:
  Planning as Satisfiability with Relaxed $-Step Plans. 244-253
  

Automated Reasoning

• Wu Chen, Norman Y. Foo, Mingyi Zhang:
  Forgetting in Logic Programs with Ordered Disjunction. 254-262
  
• Victor Jauregui:
  The 'Majority' and 'by Default' Modalities. 263-272
  
• Ulf Krumnack, Angela Schwering, Helmar Gust, Kai-Uwe Kühnberger:
  Restricted Higher-Order Anti-Unification for Analogy Making. 273-282
  
• Rune Rasmussen, Frédéric Maire, Ross Hayward:
  A Template Matching Table for Speeding-Up Game-Tree Searches for Hex. 283-292
  
• Jochen Renz, Falko Schmid:
  Customizing Qualitative Spatial and Temporal Calculi. 293-304
  

Knowledge Discovery

• Manoranjan Dash, Ong Cher Yee:
  extraRelief: Improving Relief by Efficient Selection of Instances. 305-314
  
• Mohammad El-Hajj, Jiyang Chen, Osmar R. Zaïane, Randy Goebel:
  Constraint-Based Mining of Web Page Associations. 315-326
  
• Byeong Ho Kang, Yang Sok Kim, Young Ju Choi:
  Does Multi-user Document Classification Really Help Knowledge Management? 327-336
  
• Kimberly D. Voll, Maite Taboada:
  Not All Words Are Created Equal: Extracting Semantic Orientation as a Function of Adjective Relevance. 337-346
  

Robotics

• Rosana Matuk Herrera:
  A Bio-inspired Method for Incipient Slip Detection. 347-356
  
• Yasser F. O. Mohammad, Toyoaki Nishida:
  TalkBack: Feedback from a Miniature Robot. 357-366
  

Social Intelligence

• Fabian Bohnert, Ingrid Zukerman:
  Using Viewing Time for Theme Prediction in Cultural Heritage Spaces. 367-376
  
• Ae-Ttie Ji, Cheol Yeon, Heung-Nam Kim, GeunSik Jo:
  Collaborative Tagging in Recommender Systems. 377-386
  
• Rossitza Setchi, Nikolaos Lagos, Danny Froud:
  Computational Imagination: Research Agenda. 387-393
  

Ontologies and Semantic Web

• Ken Kaneiwa, Michiaki Iwazume, Ken Fukuda:
  An Upper Ontology for Event Classifications and Relations. 394-403
  
• Bahadorreza Ofoghi, John Yearwood, Ranadhir Ghosh:
  A Within-Frame Ontological Extension on FrameNet: Application in Predicate Chain Analysis and Question Answering. 404-414
  
• Le Phong Bao Vuong, Xiaoying Gao:
  Using Clustering for Web Information Extraction. 415-424
  

Natural Language Systems

• Samuel W. K. Chan:
  A Decision Tree Approach to Sentence Chunking. 425-434
  
• Robert Dale, Pawel P. Mazur:
  The Semantic Representation of Temporal Expressions in Text. 435-444
  
• Kyongho Min, William H. Wilson, Byeong Ho Kang:
  Effectiveness of Methods for Syntactic and Semantic Recognition of Numeral Strings: Tradeoffs Between Number of Features and Length of Word N-Grams. 445-455
  
• Stoyan Mihov, Petar Mitankin, Annette Gotscharek, Ulrich Reffle, Klaus U. Schulz, Christoph Ringlstetter:
  Using Automated Error Profiling of Texts for Improved Selection of Correction Candidates for Garbled Tokens. 456-465
  
• Michael Niemann, Ingrid Zukerman, Enes Makalic, Sarah George:
  Hypothesis Generation and Maintenance in the Interpretation of Spoken Utterances. 466-475
  

Knowledge Representation

• Guido Governatori, Paolo Terenziani:
  Temporal Extensions to Defeasible Logic. 476-485
  
• Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo:
  Characterising Deadlines in Temporal Modal Defeasible Logic. 486-496
  
• Subhasis Thakur, Guido Governatori, Vineet Padmanabhan, Jenny Eriksson Lundström:
  Dialogue Games in Defeasible Logic. 497-506
  
• Zhi Qiang Zhuang, Maurice Pagnucco, Thomas Meyer:
  Implementing Iterated Belief Change Via Prime Implicates. 507-518
  

Expert Systems

• Ivan Bindoff, Byeong Ho Kang, Tristan Ling, Peter Tenni, Gregory Peterson:
  Applying MCRDR to a Multidisciplinary Domain. 519-528
  
• Takashi Mitsuishi, Yasunari Shidama:
  Continuity of Fuzzy Approximate Reasoning and Its Application to Optimization. 529-538
  

Applications of AI

• A. P. Dalgleish, David L. Dowe, Imants D. Svalbe:
  Tomographic Reconstruction of Images from Noisy Projections - A Preliminary Study. 539-548
  
• Rob Fearn, Raymond Williams, R. Mike Cameron-Jones, Julian Harrington, Jayson Semmens:
  Automated Intelligent Abundance Analysis of Scallop Survey Video Footage. 549-558
  
• Michael Horton, R. Mike Cameron-Jones, Raymond Williams:
  Multiple Classifier Object Detection with Confidence Measures. 559-568
  
• Jiaming Li, Geoff Poulton, Geoff James:
  Agent-Based Distributed Energy Management. 569-578
  
• Julie Main, Tharam S. Dillon, Mary Witten:
  Adaptation Knowledge from the Case Base. 579-588
  
• Peter J. Tan, David L. Dowe, Trevor I. Dix:
  Building Classification Models from Microarray Data with Tree-Based Classification Algorithms. 589-598
  
• P. J. Uren, R. Mike Cameron-Jones, Arthur H. J. Sale:
  MAUSA: Using Simulated Annealing for Guide Tree Construction in Multiple Sequence Alignment. 599-608
  

Short Papers

• Grigoris Antoniou, Nikos Dimaresis, Guido Governatori:
  A System for Modal and Deontic Defeasible Reasoning. 609-613
  
• Stuart Bain:
  Time-Reversal in Conway's Life as SAT. 614-618
  
• Hien T. Nguyen, Tru H. Cao:
  A Knowledge-Based Approach to Named Entity Disambiguation in News Articles. 619-624
  
• Ri Choe, Taejin Park, Seung Min Ok, Kwang Ryel Ryu:
  Real-Time Scheduling for Non-crossing Stacking Cranes in an Automated Container Terminal. 625-631
  
• Andrew Czarn, Cara MacNish, Kaipillil Vijayan, Berwin A. Turlach:
  The Detrimentality of Crossover. 632-636
  
• Jeremiah D. Deng, Matthew T. Gleeson:
  Automatic Sapstain Detection in Processed Timber. 637-641
  
• Peter Geibel, Ulf Krumnack, Olga Pustylnikov, Alexander Mehler, Helmar Gust, Kai-Uwe Kühnberger:
  Structure-Sensitive Learning of Text Types. 642-646
  
• Steve Green, Michael Blumenstein:
  A Comparison of Neural-Based Techniques Investigating Rotational Invariance for Upright People Detection in Low Resolution Imagery. 647-653
  
• Chonghui Guo, Hong Li:
  Multilevel Thresholding Method for Image Segmentation Based on an Adaptive Particle Swarm Optimization Algorithm. 654-658
  
• Yi Guo, Junbin Gao, Paul Wing Hing Kwan:
  Twin Kernel Embedding with Relaxed Constraints on Dimensionality Reduction for Structured Data. 659-663
  
• Dai Hasegawa, Rafal Rzepka, Kenji Araki:
  Evaluation of Connectives Acquisition in a Humanoid Robot Using Direct Physical Feedback. 664-668
  
• Sattar Hashemi, Ying Yang, Majid Pourkashani, Mohammad Reza Kangavari:
  To Better Handle Concept Change and Noise: A Cellular Automata Approach to Data Stream Classification. 669-674
  
• Jianying He, Haihua Yan, Mao-zhong Jin, Chao Liu:
  Categorizing Software Engineering Knowledge Using a Combination of SWEBOK and Text Categorization. 675-681
  
• Henry Huang, Frédéric Maire, Narongdech Keeratipranon:
  An Improved Probability Density Function for Representing Landmark Positions in Bearing-Only SLAM Systems. 682-686
  
• Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar:
  Weight Redistribution for Unweighted MAX-SAT. 687-693
  
• Bin Jiang, Huidong Jin, Nianjun Liu, Mike Quirk, Ben Searle:
  A HMM-Based Hierarchical Framework for Long-Term Population Projection of Small Areas. 694-698
  
• He Jiang, Xianchao Zhang, MingChu Li:
  Backbone of the p-Median Problem. 699-704
  
• Asad I. Khan, Anang Hudaya Muhamad Amin:
  One Shot Associative Memory Method for Distorted Pattern Recognition. 705-709
  
• Yun Sing Koh, Russel Pears:
  Efficiently Finding Negative Association Rules Without Support Threshold. 710-714
  
• ChenGuang Liu:
  A Data Mining Algorithm for Designing the Conventional Cellular Manufacturing Systems. 715-720
  
• Yanzhi Li, Yi Tao, Fan Wang:
  A Compromised Large-Scale Neighborhood Search Heuristic for Cargo Loading Planning. 721-726
  
• Melissa Liew, Langford B. White:
  Concurrent Temporal Planning Using Timed Petri Nets - Policy Evaluation. 727-731
  
• José David Martín-Guerrero, Emilio Soria-Olivas, Marcelino Martínez-Sober, Mónica Climente-Martí, Teresa De Diego-Santos, N. Víctor Jiménez:
  Validation of a Reinforcement Learning Policy for Dosage Optimization of Erythropoietin. 732-738
  
• John Mashford, Paul Davis, Mike Rahilly:
  Pixel-Based Colour Image Segmentation Using Support Vector Machine for Automatic Pipe Inspection. 739-743
  
• Manuel Medina González, Hirosato Nomura:
  An Approach to Spanish Subjunctive Mood in Japanese to Spanish Machine Translation. 744-748
  
• Katsunori Nakamura, Akira Fusaoka:
  Reasoning About Hybrid Systems Based on a Nonstandard Model. 749-754
  
• Vladimir Nikulin, Geoffrey J. McLachlan:
  Merging Algorithm to Reduce Dimensionality in Application to Web-Mining. 755-761
  
• Jung-Eun Park, Kyung-Whan Oh:
  Human Behavior Analysis for Human-Robot Interaction in Indoor Environments. 762-768
  
• Grant Patterson, Mengjie Zhang:
  Fitness Functions in Genetic Programming for Classification with Unbalanced Data. 769-775
  
• Wayne J. Pullan:
  Protein Structure Alignment Using Maximum Cliques and Local Search. 776-780
  
• Umair Rafique, Shell-Ying Huang:
  SMART: Structured Memory for Abstract Reasoning and Thinking. 781-785
  
• Edgar Scavino, Dzuraidah Abdul Wahab, Hassan Basri, Mohd Marzuki Mustafa, Aini Hussain:
  An Efficient Segmentation Technique for Known Touching Objects Using a Genetic Algorithm Approach. 786-790
  
• Andrea Stubbe, Christoph Ringlstetter, Randy Goebel:
  Elements of a Learning Interface for Genre Qualified Search. 791-797
  
• Yuzu Uchida, Kenji Araki:
  A System for Acquisition of Noun Concepts from Utterances for Images Using the Label Acquisition Rules. 798-802
  
• Richard J. Wallace, Stuart Bain:
  Branching Rules for Satisfiability Analysed with Factor Analysis. 803-809
  
• Pengyi Yang, Zili Zhang:
  Hybrid Methods to Select Informative Gene Sets in Microarray Data Classification. 810-814
  
• Yumin Yang, Chonghui Guo, Zunquan Xia:
  An EM Algorithm for Independent Component Analysis Using an AR-GGD Source Model. 815-819
  
• Bailing Zhang, Tuan D. Pham, Yanchun Zhang:
  Bagging Support Vector Machine for Classification of SELDI-ToF Mass Spectra of Ovarian Cancer Serum Samples. 820-826
  
• Huaifeng Zhang, Yanchang Zhao, Longbing Cao, Chengqi Zhang:
  Class Association Rule Mining with Multiple Imbalanced Attributes. 827-831
  
• Xufei Wang, Chunping Li:
  DBSC: A Dependency-Based Subspace Clustering Algorithm for High Dimensional Numerical Datasets. 832-837