We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This...
We introduce a distributed adaptive estimation algorithm operating in an ideal fully connected sensor network. The algorithm estimates node-specific signals at each node based on...
We present a novel approach for measuring image similarity based on the composition of parts. The measure identifies common subregions between the images at multiple sizes, and e...
The basic idea of Lucas and Kanade is to constrain the local motion measurement by assuming a constant velocity within a spatial neighborhood. We reformulate this spatial constrai...
Volker Willert, Julian Eggert, Marc Toussaint, Edg...
We present an application for integrated visualization of gene expression data from time series experiments in gene regulation networks and metabolic networks. Such integration is...