While lots of research in ontology matching is related to the issue of computing and reļ¬ning similarity measures, only little attention has been paid to question how to extract t...
A new paradigm in Semantic Web research focuses on the development of a new generation of knowledge-based problem solvers, which can exploit the massive amounts of formally speciļ¬...
: We propose a sketch-based interface for modeling the myocardial fiber orientation required in the electrophysiological simulation of the heart, especially the ventricles. The use...
Concurrency control in Smalltalk is based on locks and is therefore notoriously diļ¬cult to use. Even though some implementations provide high-level constructs, these add complexi...
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and veriļ¬cation methodologies that can cope with three major sources o...