Interpretation (Competition

We present a method for analysis of AKL in the spirit of abstract interpretation that strictly separates the setting up of the abstract semantic equations and the solving of these equations. The fact that AKL has concurrent semantics makes this separation particularly attractive. This document reports work in progress. It is deliverable number D.WP.1.6.1.M1.1 in the ESPRIT project ParForce 6707...

This paper presents a new perspective on the use of semantic annotations. We argue that semantic annotations should (1) capture semantic information that is complimentary to the information that is expressed in the source text; (2) have a formal interpretation. If these conditions are fullfilled, then the information in semantic annotations can be effectively combined with the information in th...

Interpretation-based Protection

Let T1 and T2 be two commuting n × n tripotent matrices and c1, c2 two nonzero complex numbers. The problem of when a linear combination of the form T = c1T1 + c2T2 is nonsingular is considered. Some other nonsingularitytype relationships for tripotent matrices are also established. Moreover, a statistical interpretation of the results is pointed out.

The goal of this study was to investigate the translate-ability of creative works into other domains. We tested whether people were able to recognize which works of art were inspired by which pieces of music. Three expert painters created four paintings, each of which was the artist’s interpretation of one of four different pieces of instrumental music. Participants were able to identify which ...

We introduce the idea of Characteristic Regions to solve a classification problem. By identifying regions in which classes are dense (i.e. many observations) and also relevant (for discrimination) we can characterize the different classes. These Characteristic Regions are used to generate a classification rule. The result can be visualized so the user is provided with an insight into data for a...