We often seek to identify co-occurring hidden features in a set of observations. The Indian Buffet Process (IBP) provides a nonparametric prior on the features present in each obs...
The huge demand for ad-hoc and situational enterprise-class applications led to a new kind of Web-based applications, known as enterprise mashups. End users from the business units...
Florian Gilles, Volker Hoyer, Till Janner, Katarin...
The Semantic Web (SW) is an extension to the current Web, enhancing the available information with semantics. RDF, one of the most prominent standards for representing meaning in t...
Aris Athanassiades, Efstratios Kontopoulos, Nick B...
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...
Current uncertainties in the total solar irradiance (TSI) and aerosol radiative forcings of climate are so large that they limit quantitative evaluation of climate models against ...
Michael Mishchenko, Brian Cairns, Greg Kopp, Hal M...