The proliferation of audiovisual content available for young children brings with it the need for an appropriate Electronic Programme Guide (EPG) that meets needs and preferences o...
Ana Vitoria Joly, Lyn Pemberton, Richard N. Griffi...
Recent work has shown the value of using unsatisfiable cores to guide maximum satisfiability algorithms (Max-SAT) running on industrial instances [5,9,10,11]. We take this concep...
Abstract- We present a method that enhances evolutionary behavior testing of commercial computer games, as introduced in [CD+04], to deal with parameterized actions. The basic idea...
Mining is an important industry in Australia, contributing billions of dollars to the economy. The performance of a processing plant has a large impact on the profitability of a m...
Simon Huband, Luigi Barone, Philip Hingston, R. Ly...
The upcoming next generation of the internet, often referred to as the Semantic Web, will bring a lot of new technologies, one of which is the Web Ontology Language (OWL). One fea...