We present a machine learning approach to evaluating the wellformedness of output of a machine translation system, using classifiers that learn to distinguish human reference tran...
Simon Corston-Oliver, Michael Gamon, Chris Brocket...
This research project investigated the relationships between IS staff and other organisational actors in four organisations. Using a network-based approach borrowed from Sociology...
This work presents a synchronous collaborative graphical editor that implements a proposal of an awareness mechanism of a collaborative artifact evolution. The graphical editor all...
Alexandre Pereira Meire, Marcos R. S. Borges, Rena...
Abstract: Event Driven Process Chains (EPC) are commonly used for the modelling of business processes. As modelling is decentralised to personnel not familiar with the formal aspec...
A development of the Mondex system was undertaken using Event-B and its associated proof tools. mental approach was used whereby the refinement between the abstract specification o...