Knowledge Representation and Reasoning

• 
  Sebastian Haufe, Michael Thielscher: Pushing the Envelope: General Game Players Prove Theorems. 1-10
• 
  Armin Hezart, Abhaya C. Nayak, Mehmet A. Orgun: Temporal Belief-Change: kappa-functions Approach. 11-21
• 
  Norihiro Kamide, Ken Kaneiwa: Resource-Sensitive Reasoning with Sequential Information. 22-31
• 
  Tomás Nestorovic: Frame-Based Dialogue Management Automated Error Recovery Approach. 32-41
• 
  Laurent Perrussel, Jerusa Marchi, Dongmo Zhang: Characterizing Relevant Belief Revision Operators. 42-51
• 
  Raghav Ramachandran, Abhaya C. Nayak, Mehmet A. Orgun: Belief Erasure Using Partial Imaging. 52-61
• 
  Carl P. L. Schultz, Robert Amor, Hans W. Guesgen: The Impact of Qualification on the Application of Qualitative Spatial and Temporal Reasoning Calculi. 62-71
• 
  Zhi Qiang Zhuang, Maurice Pagnucco: Two Methods for Constructing Horn Contractions. 72-81

Data Mining and Knowledge Discovery

• 
  David L. Dowe, Nayyar Abbas Zaidi: Database Normalization as a By-product of Minimum Message Length Inference. 82-91
• 
  Edward Hung, Lei Xu, Chi-Cheong Szeto: A Heuristic on Effective and Efficient Clustering on Uncertain Objects. 92-101
• 
  Musa A. Mammadov, John Yearwood, Lei Zhao: A New Supervised Term Ranking Method for Text Categorization. 102-111
• 
  Swee Chuan Tan, Kai Ming Ting, Shyh Wei Teng: A Comparative Study of a Practical Stochastic Clustering Method with Traditional Methods. 112-121
• 
  Ke Zhang, Huidong Jin: An Effective Pattern Based Outlier Detection Approach for Mixed Attribute Data. 122-131
• 
  Qinghua Zheng, Xin Wang, Wanyu Deng, Jun Liu, Xiyuan Wu: Incremental Projection Vector Machine: A One-Stage Learning Algorithm for High-Dimension Large-Sample Dataset. 132-141

Machine Learning

• 
  Zaw Zaw Htike, Simon Egerton, Ye Chow Kuang: Model-Based Viewpoint Invariant Human Activity Recognition from Uncalibrated Monocular Video Sequence. 142-152
• 
  Sang-Woon Kim, B. John Oommen: On Optimizing Locally Linear Nearest Neighbour Reconstructions Using Prototype Reduction Schemes. 153-163
• 
  Gjorgji Madjarov, Dejan Gjorgjevikj, Tomche Delev: Efficient Two Stage Voting Architecture for Pairwise Multi-label Classification. 164-173
• 
  Fernando Martínez-Plumed, Vicent Estruch, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana: Newton Trees. 174-183
• 
  Bahadorreza Ofoghi, John Yearwood: Learning Parse-Free Event-Based Features for Textual Entailment Recognition. 184-193
• 
  Nayyar Abbas Zaidi, David McG. Squire, David Suter: A Gradient-Based Metric Learning Algorithm for k-NN Classifiers. 194-203

Statistical Learning

• 
  Lennon V. Cook, Junbin Gao: Dimensionality Reduction for Classification through Visualisation Using L1SNE. 204-212
• 
  Enes Makalic, Daniel Francis Schmidt: Review of Modern Logistic Regression Methods with Application to Small and Medium Sample Size Problems. 213-222
• 
  Daniel Francis Schmidt, Enes Makalic: The Behaviour of the Akaike Information Criterion When Applied to Non-nested Sequences of Models. 223-232
• 
  Tony C. Smith, Chris van de Molen: Unbounded Knowledge Acquisition Based upon Mutual Information in Dependent Questions. 233-242

Evolutionary Computation

• 
  Urvesh Bhowan, Mengjie Zhang, Mark Johnston: A Comparison of Classification Strategies in Genetic Programming with Unbalanced Data. 243-252
• 
  Rohitash Chandra, Marcus R. Frean, Mengjie Zhang: An Encoding Scheme for Cooperative Coevolutionary Feedforward Neural Networks. 253-262
• 
  Raymond Chiong, Michael Kirley: Evolving Cooperation in the Spatial N-player Snowdrift Game. 263-272
• 
  Rachel Hunt, Mark Johnston, Will N. Browne, Mengjie Zhang: Sampling Methods in Genetic Programming for Classification with Unbalanced Data. 273-282
• 
  Ashkan Izadi, Victor Ciesielski, Marsha Berry: Evolutionary Non Photo-Realistic Animations with Triangular Brushstrokes. 283-292
• 
  Nasimul Noman, Hitoshi Iba: Cellular Differential Evolution Algorithm. 293-302
• 
  Mohammad Nabi Omidvar, Xiaodong Li: A Comparative Study of CMA-ES on Large Scale Global Optimisation. 303-312

Particle Swarm Optimization

• 
  Wenlong Fu, Mark Johnston, Mengjie Zhang: Hybrid Particle Swarm Optimisation Algorithms Based on Differential Evolution and Local Search. 313-322
• 
  Mahdi Setayesh, Mark Johnston, Mengjie Zhang: Edge and Corner Extraction Using Particle Swarm Optimisation. 323-333
• 
  Danial Yazdani, Adel Nadjaran Toosi, Mohammad Reza Meybodi: Fuzzy Adaptive Artificial Fish Swarm Algorithm. 334-343

Intelligent Agent

• 
  John K. Debenham, Simeon J. Simoff: The Honourable Negotiator: When the Relationship Is What Matters. 344-353
• 
  Victor Fernández-Bauset, Francisco Grimaldo, Miguel Lozano, Juan M. Orduña: Tuning Java to Run Interactive Multiagent Simulations over Jason. 354-363
• 
  Hiroyuki Ishiwata, Nasimul Noman, Hitoshi Iba: Emergence of Cooperation in a Bio-inspired Multi-agent System. 364-374
• 
  Minyi Li, Quoc Bao Vo, Ryszard Kowalczyk: An Efficient Approach for Ordering Outcomes and Making Social Choices with CP-Nets. 375-384
• 
  Khalid Mansour, Ryszard Kowalczyk, Quoc Bao Vo: Real-Time Coordination of Concurrent Multiple Bilateral Negotiations under Time Constraints. 385-394
• 
  Gavin Rens, Ivan José Varzinczak, Thomas Meyer, Alexander Ferrein: A Logic for Reasoning about Actions and Explicit Observations. 395-404

Search and Planning

• 
  Ramon Lawrence, Vadim Bulitko: Taking Learning Out of Real-Time Heuristic Search for Video-Game Pathfinding. 405-414
• 
  Jussi Rintanen: Heuristic Planning with SAT: Beyond Uninformed Depth-First Search. 415-424
• 
  Hemant K. Singh, Tapabrata Ray, Warren Smith: Performance of Infeasibility Empowered Memetic Algorithm (IEMA) on Engineering Design Problems. 425-434

Natural Language Processing

• 
  Khaled Abdalgader, Andrew Skabar: Short-Text Similarity Measurement Using Word Sense Disambiguation and Synonym Expansion. 435-444
• 
  Filippo Galgani, Achim G. Hoffmann: LEXA: Towards Automatic Legal Citation Classification. 445-454
• 
  Kazushi Ikeda, Tadashi Yanagihara, Gen Hattori, Kazunori Matsumoto, Yasuhiro Takishima: Hazardous Document Detection Based on Dependency Relations and Thesaurus. 455-465
• 
  Andrew Skabar, Khaled Abdalgader: Improving Sentence Similarity Measurement by Incorporating Sentential Word Importance. 466-475

AI Applications

• 
  Xiongcai Cai, Michael Bain, Alfred Krzywicki, Wayne Wobcke, Yang Sok Kim, Paul Compton, Ashesh Mahidadia: Collaborative Filtering for People to People Recommendation in Social Networks. 476-485
• 
  Martin H. Luerssen, Trent W. Lewis, David M. W. Powers: Head X: Customizable Audiovisual Synthesis for a Multi-purpose Virtual Head. 486-495
• 
  Wolfgang Mayer, Xavier Pucel, Markus Stumptner: Diagnosing Component Interaction Errors from Abstract Event Traces. 496-505
• 
  Adrian Schoenig, Maurice Pagnucco: Evaluating Sequential Single-Item Auctions for Dynamic Task Allocation. 506-515
• 
  Dengji Zhao, Dongmo Zhang, Md Khan, Laurent Perrussel: Maximal Matching for Double Auction. 516-525

last updated on Sun May 26 03:36:47 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page