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.