A novel technique for extracting texture edges is introduced. It is based on the combination of two ideas: the patch-based approach, and non-parametric tests of distributions. Our method can reliably detect texture edges using only local information. Therefore, it can be computed as a preprocessing step prior to segmentation, and can be very easily combined with parametric deformable models. Th...

We define a cones and foci proof method, which rephrases the question whether two system specifications are branching bisimilar in terms of proof obligations on relations between data objects. Compared to the original cones and foci method from Groote and Springintveld [22], our method is more generally applicable, and does not require a preprocessing step to eliminate τ -loops. We prove soundn...

It is very important to match images and music according to their impression. Our research focuses on automatic arrangement of music according to impressions of images. As the first result of our research, this paper reports a technique to automatically arrange music by inferring the impression of input images according to their color distribution and objects, and selecting a rhythm pattern acc...

Active patterns apply preprocessing functions to data type values before they are matched. This is of use for unfree data types where more than one representation exists for an abstract value: in many cases there is a speciic representation for which function deenitions become very simple, and active patterns just allow to assume this speciic representation in function deenitions. We deene the ...