


default search action
26. Australasian Joint Conference on Artificial Intelligence 2013: Dunedin, New Zealand
- Stephen Cranefield, Abhaya C. Nayak
:
AI 2013: Advances in Artificial Intelligence - 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings. Lecture Notes in Computer Science 8272, Springer 2013, ISBN 978-3-319-03679-3
Agents
- Xiaoxin Jing, Dongmo Zhang, Xudong Luo:
A Logical Framework of Bargaining with Integrity Constraints. 1-13 - Youzhi Zhang, Xudong Luo, Wenjun Ma
:
Security Games with Ambiguous Information about Attacker Types. 14-25 - Quoc Bao Vo:
A Mechanism to Improve Efficiency for Negotiations with Incomplete Information. 26-31
AI Applications
- Abdollah Dehzangi
, Kuldip K. Paliwal
, Alok Sharma
, James G. Lyons, Abdul Sattar
:
Protein Fold Recognition Using an Overlapping Segmentation Approach and a Mixture of Feature Extraction Models. 32-43 - Swakkhar Shatabda
, M. A. Hakim Newton
, Abdul Sattar
:
Neighborhood Selection in Constraint-Based Local Search for Protein Structure Prediction. 44-55 - René Speck, Axel-Cyrille Ngonga Ngomo:
On Caching for Local Graph Clustering Algorithms. 56-67 - Jing Jiang, Quan Bai
:
Provenance-Based Trust Estimation for Service Composition. 68-73 - Thi Han Kyaw, David L. Dowe:
3D EEG Source Localisation: A Preliminary Investigation Using MML. 74-79 - Enes Makalic
, Daniel F. Schmidt, John L. Hopper:
DEPTH: A Novel Algorithm for Feature Ranking with Application to Genome-Wide Association Studies. 80-85
Cognitive Modelling
- Mira Guise, Alistair Knott
, Lubica Benuskova:
Evidence for Response Consistency Supports Polychronous Neural Groups as an Underlying Mechanism for Representation and Memory. 86-97 - Hayden Walles, Anthony V. Robins, Alistair Knott
:
A Neural Network Model of Visual Attention and Group Classification, and Its Performance in a Visual Search Task. 98-103 - Li Zhang, John A. Barnden, M. Alamgir Hossain:
Affect Detection from Virtual Drama. 104-109
Computer Vision
- Harith Al-Sahaf
, Mengjie Zhang, Mark Johnston:
A One-Shot Learning Approach to Image Classification Using Genetic Programming. 110-122 - Hanhe Lin
, Jeremiah D. Deng, Brendon J. Woodford:
Event Detection Using Quantized Binary Code and Spatial-Temporal Locality Preserving Projections. 123-134 - Munir Shah
, Jeremiah D. Deng, Brendon J. Woodford:
Growing Neural Gas Video Background Model (GNG-BM). 135-147 - Xiaoshuang Shi, Zhihui Lai, Zhenhua Guo, Minghua Wan, Cairong Zhao, Heng Kong:
Sparse Principal Component Analysis via Joint L 2, 1-Norm Penalty. 148-159 - Benjamin Peherstorfer, Julius Adorf, Dirk Pflüger, Hans-Joachim Bungartz:
Image Segmentation with Adaptive Sparse Grids. 160-165
Constraint Satisfaction, Search and Optimisation
- Thach-Thao Duong
, Duc Nghia Pham, Abdul Sattar
:
Diversify Intensification Phases in Local Search for SAT with a New Probability Distribution. 166-177 - Santiago Franco
, Michael W. Barley, Patricia J. Riddle:
A New Efficient In Situ Sampling Model for Heuristic Selection in Optimal Search. 178-189 - Syed Md. Galib
, Irene Moser:
A Framework for the Evaluation of Methods for Road Traffic Assignment. 190-195 - Anurag Sharma
, Dharmendra Sharma
:
Constraint Optimization for Timetabling Problems Using a Constraint Driven Solution Model. 196-201
Evolutionary Computation
- Feng Xie, Andy Song
, Flora Dilys Salim, Athman Bouguettaya
, Timos K. Sellis
, Doug Bradbrook:
Learning Risky Driver Behaviours from Multi-Channel Data Streams Using Genetic Programming. 202-213 - Mitchell C. Lane, Bing Xue
, Ivy Liu
, Mengjie Zhang:
Particle Swarm Optimisation and Statistical Clustering for Feature Selection. 214-220 - Ben Leon Meadows, Patricia J. Riddle, Cameron Skinner, Mike Barley:
Evaluating the Seeding Genetic Algorithm. 221-227 - Thomas J. Young, Kourosh Neshatian:
A Constructive Artificial Chemistry to Explore Open-Ended Evolution. 228-233
Game Playing
- Jakub Kowalski
, Marek Szykula
:
Game Description Language Compiler Construction. 234-245 - Xiaowei Huang
, Ji Ruan, Michael Thielscher
:
Model Checking for Reasoning about Incomplete Information Games. 246-258 - Jacky Shunjie Zhen, Ian D. Watson
:
Neuroevolution for Micromanagement in the Real-Time Strategy Game Starcraft: Brood War. 259-270 - David Rajaratnam
, Michael Thielscher
:
Towards General Game-Playing Robots: Models, Architecture and Game Controller. 271-276
Knowledge Representation and Reasoning
- Mikkel Birkegaard Andersen, Thomas Bolander
, Hans van Ditmarsch, Martin Holm Jensen:
Bisimulation for Single-Agent Plausibility Models. 277-288 - Ji Bian, Tim French
, Mark Reynolds
:
An Efficient Tableau for Linear Time Temporal Logic. 289-300 - Cristina Cornelio, Judy Goldsmith, Nicholas Mattei
, Francesca Rossi, Kristen Brent Venable:
Updates and Uncertainty in CP-Nets. 301-312 - Wojciech Jamroga
, Marija Slavkovik
:
Some Complexity Results for Distance-Based Judgment Aggregation. 313-325 - Willem Adrian Labuschagne, Johannes Heidema, Katarina Britz:
Supraclassical Consequence Relations - Tolerating Rare Counterexamples. 326-337 - Michael J. Maher:
Relative Expressiveness of Well-Founded Defeasible Logics. 338-349 - David Toman, Grant E. Weddell:
Conjunctive Query Answering in CFDnc : A PTIME Description Logic with Functional Constraints and Disjointness. 350-361
Machine Learning and Data Mining
- Eibe Frank, Bernhard Pfahringer:
Propositionalisation of Multi-instance Data Using Random Forests. 362-373 - Guohua Liang:
An Effective Method for Imbalanced Time Series Classification: Hybrid Sampling. 374-385 - B. S. Mahanand, Ramaswamy Savitha, Suresh Sundaram:
Computer Aided Diagnosis of ADHD Using Brain Magnetic Resonance Images. 386-395 - Linda Main, Benjamin Cowley, Adam Kneller, John Thornton:
Evaluating Sparse Codes on Handwritten Digits. 396-407 - Daniel F. Schmidt, Enes Makalic
:
Minimum Message Length Ridge Regression for Generalized Linear Models. 408-420 - Anu Thomas, B. John Oommen
:
Ultimate Order Statistics-Based Prototype Reduction Schemes. 421-433 - Venkateswara Rao Kagita
, Arun K. Pujari, Vineet Padmanabhan
:
Group Recommender Systems: A Virtual User Approach Based on Precedence Mining. 434-440 - Yifeng Li, B. John Oommen
, Alioune Ngom, Luis Rueda:
A New Paradigm for Pattern Classification: Nearest Border Techniques. 441-446 - Javad Safaei, Ján Manuch, Ladislav Stacho:
Learning Polytrees with Constant Number of Roots from Data. 447-452
Natural Language Processing and Information Retrieval
- Mubarak Albathan, Yuefeng Li, Abdulmohsen Algarni
:
Enhanced N-Gram Extraction Using Relevance Feature Discovery. 453-465 - Samuel W. K. Chan:
Generating Context Templates for Word Sense Disambiguation. 466-477
Planning and Scheduling
- John Park, Su Nguyen
, Mark Johnston, Mengjie Zhang:
Evolving Stochastic Dispatching Rules for Order Acceptance and Scheduling via Genetic Programming. 478-489 - Mehdi Sadeqi, Robert C. Holte, Sandra Zilles:
Detecting Mutex Pairs in State Spaces by Sampling. 490-501 - Michal Wosko, Irene Moser, Khalid Mansour
:
Scheduling for Optimal Response Times in Queues of Stochastic Workflows. 502-513

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.