


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














