We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommoda...
—Electromechanical wave imaging (EWI) has recently been introduced as a noninvasive, ultrasound-based imaging modality, which could map the electrical activation of the heart in ...
Jean Provost, Wei-Ning Lee, Kana Fujikura, Elisa E...
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
In this paper we propose a new probabilistic relaxation framework to perform robust multiple motion estimation and segmentation from a sequence of images. Our approach uses displa...
Schema-based program transformation [8] has been proposed as an effective technique for the optimisation of logic programs. Schemata are applied to a logic program, mapping ineffi...