The ViewPoints framework for distributed and concurrent software engineering provides an alternative approach to traditional centralised software development environments. We inve...
Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolit...
—Traditional Workflow Management Systems (WFMSs) are not flexible enough to support loosely-structured processes. Furthermore, flexibility in contemporary WFMSs usually comes ...
Maja Pesic, Helen Schonenberg, Wil M. P. van der A...
We consider the prediction of a target’s destination and simultaneously recover its filtered trajectory. Two novel models for trajectories with known destinations are presented...
Mustafa Fanaswala, Vikram Krishnamurthy, Langford ...
This paper examines the problem of finding an optimal policy for a Partially Observable Markov Decision Process (POMDP) when the model is not known or is only poorly specified. W...