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
• 
  Suren 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
• 
  Philip 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, Maozhong 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

last updated on Sat May 18 04:41:10 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page