A semantically driven Virtual Organisation (VO) model for predicting important events for coral reefs is presented – the Semantic Reef. The model is an application of a Semantic...
Trina S. Myers, Ian M. Atkinson, William J. Lavery
We define a process called congealing in which elements of a dataset (images) are brought into correspondence with each other jointly, producing a data-defined model. It is based ...
Erik G. Miller, Nicholas E. Matsakis, Paul A. Viol...
Clio is a system for managing and facilitating the complex tasks of heterogeneous data transformation and integration. In Clio, we have collected together a powerful set of data m...
Renée J. Miller, Mauricio A. Hernández, Laura M....
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
Cooper, Dyer and Frieze studied the problem of sampling H-colourings (nearly) uniformly at random. Special cases of this problem include sampling colourings and independent sets a...