The invention of fictional ideas (ideation) is often a central process in the creative production of artefacts such as poems, music and paintings, but has barely been studied in the Computational Creativity community. We present here three baseline approaches for automated fictional ideation, using methods which invert and alter facts from the ConceptNet and ReVerb databases, and perform bisoci...

Automated driving requires designing a system capable of maintaining safety while simultaneously maintaining passenger comfort. Models of highway driving have high dimensionality and stochasticity traditionally specifying the histories for a large, varying number of agents in a continuous state and action space. Traditional value-based reinforcement learning methods require exponential time in ...

Recent advances in high-throughput protein structure determination and in computational chemistry have refocused attention on virtual screening and fast automated docking methods. This review provides a brief introduction to the basic ideas and outlines computational tools currently used. We also provide several examples of where virtual screening has proved successful, highlighting the usefuln...

This paper examines the use of constraint-based configuration for the composition of Web Services. Web Services are widely assumed to represent the basis for the next generation of flexible distributed applications in B2B E-commerce, and the composition of complex applications from individuals services has attracted much attention. We show how this composition problem can be addressed at increa...

for dissemination) This report is a state of the art on available methods and tools for data interlinking.

This paper reviews the current automation methods of oestrus detection in group housed sows and points out their limitations. Results from non-automated methods are also presented, in an effort to draw conclusions to assist in the development of new automatic methods. Automatic measurement of physical traits, e.g. body temperature, collect non-specific information but may be combined with activ...

An increasing number of computer systems are being viewed in terms of autonomous agents. There are two main drivers to this trend. Firstly, agents are being advocated as a next generation model for engineering complex, distributed systems (Jennings 2000; Wooldridge 1997). Secondly, agents are being used as an overarching framework for bringing together the component AI subdisciplines that are n...

This work presents early results of a comparison between some common methodologies for automated crater detection. The three procedures considered were applied to images of the surface of Mars, thus illustrating some pros and cons of their use. We aim to establish the clear advantages in using this type of methods in the study of planetary surfaces. Introduction The usefulness of an accurate me...

This paper outlines the emergence of formal techniques, explaining why they were slow to take on an industrially acceptable form. The contemporary scene, in which formal techniques are increasingly packaged within tools usable by a wide variety of engineers, is reviewed, as are the promising prospects for the future.