Particle filtering (PF) for dynamic Bayesian networks (DBNs) with discrete-state spaces includes a resampling step which concentrates samples according to their relative weight in ...
A top-down approach for workflow design is proposed in the framework of Petri net theory. Simple but powerful refinement rules are proposed that guarantee soundness of the resultin...
Piotr Chrzastowski-Wachtel, Boualem Benatallah, Ra...
This paper describes a hierarchical spectral method for the correspondence matching of point-sets. Conventional spectral methods for correspondence matching are notoriously suscep...
We present a game-based semantic framework in which the time complexity of any IMELL proof can be read out of its interpretation. This gives a compositional view of the geometry of...
Abstract. The paper examines the semantics of the terms `environment' and `habitat' and presents a semi-formalised ontological framework in which these concepts are relat...