The processes carried out in a hospital emergency department can be thought of as structures of activities that require resources in order to execute. Costs are reduced when resou...
This work addresses the problem of deciding whether a set of realizations of a vector-valued time series with unknown temporal correlation are spatially correlated or not. Speciļ¬...
Recent research in multi-robot exploration and mapping has focused on sampling environmental ļ¬elds, which are typically modeled using the Gaussian process (GP). Existing informa...
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by reļ¬ning the type system of ML with a rest...
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...