Abstract is missing.
- Frontmatter, Table of Contents, Preface, Conference Organisation, Supporters and Sponsors [doi]
- Knowledge Transformation using a Hypergraph Data ModelLama Al Khuzayem, Peter McBrien. 1-7 [doi]
- A heuristic for sparse signal reconstructionTheofanis Apostolopoulos. 8-14 [doi]
- Predicate Invention in Inductive Logic ProgrammingDuangtida Athakravi, Krysia Broda, Alessandra Russo. 15-21 [doi]
- Targeting a Practical Approach for Robot Vision with Ensembles of Visual FeaturesEmanuela Boros. 22-28 [doi]
- Incremental HMM with an improved Baum-Welch AlgorithmTiberiu S. Chis, Peter G. Harrison. 29-34 [doi]
- Device specialization in heterogeneous multi-GPU environmentsGabriele Cocco, Antonio Cisternino. 35-41 [doi]
- Abstracting Continuous Nonpolynomial Dynamical SystemsWilliam Denman. 42-48 [doi]
- Improving the Quality of Distributed Composite Service ApplicationsDionysios Efstathiou, Peter McBurney, Noël Plouzeau, Steffen Zschaler. 49-55 [doi]
- Fine-Grained Opinion Mining as a Relation Classification ProblemAlexandru-Lucian Ginsca. 56-61 [doi]
- Mechanisms for Opponent ModellingChristos Hadjinikolis, Sanjay Modgil, Elizabeth Black, Peter McBurney. 62-68 [doi]
- 4D Cardiac Volume Reconstruction from Free-Breathing 2D Real-Time Image Acquisitions using Iterative Motion CorrectionMartin Jantsch, Daniel Rueckert, Joseph V. Hajnal. 69-74 [doi]
- Collecting battery data with Open BatteryGareth L. Jones, Peter G. Harrison. 75-80 [doi]
- Informing Coalition Structure Generation in Multi-Agent Systems Through Emotion ModellingMartyn Lloyd-Kelly, Luke Riley. 81-87 [doi]
- Bounded Model Checking for Linear Time Temporal-Epistemic LogicArtur Meski, Wojciech Penczek, Maciej Szreter. 88-94 [doi]
- A compositional model to characterize software and hardware from their resource usageDavide Morelli, Antonio Cisternino. 95-101 [doi]
- Integration of Temporal Abstraction and Dynamic Bayesian Networks in Clinical Systems. A preliminary approachKalia Orphanou, Elpida Keravnou, Joseph A. Moutiris. 102-108 [doi]
- Get started imminently: Using tutorials to accelerate learning in automated static analysisJan-Peter Ostberg, Stefan Wagner. 109-115 [doi]
- A Quantitative Study of Social Organisation in Open Source Software CommunitiesMarcelo Serrano Zanetti, Emre Sarigöl, Ingo Scholtes, Claudio Juan Tessone, Frank Schweitzer. 116-122 [doi]
- Apply the We!Design Methodology in E-learning 2.0 System Design: A Pilot StudyLei Shi, Dana Al Qudah, Alexandra I. Cristea. 123-128 [doi]
- An Implementation Model of a Declarative Framework for Automated NegotiationLaura Surcel. 129-134 [doi]
- Blurring the Computation-Communication Divide: Extraneous Memory Accesses and their Effects on MPI Intranode CommunicationsWilson M. Tan, Stephen A. Jarvis. 135-141 [doi]
- Search-Based Ambiguity Detection in Context-Free GrammarsNaveneetha Vasudevan, Laurence Tratt. 142-148 [doi]
- Introduction to Team Disruption MechanismsAndrada Voinitchi, Elizabeth Black, Michael Luck. 149-155 [doi]
- Self-Learning Genetic Algorithm For Constrains Satisfaction ProblemsHu Xu, Karen E. Petrie. 156-162 [doi]