Color space conversion is an important kernel in multimedia codecs such as JPEG and MPEG. When implemented using SIMD instructions, however, the performance improvement is often l...
Asadollah Shahbahrami, Ben H. H. Juurlink, Stamati...
It is traditionally assumed that various sources of linguistic knowledge and their interaction should be formalised in order to be able to convert words into their phonemic repres...
We present a type theory with some proof-irrelevance built into the conversion rule. We argue that this feature is useful when type theory is used as the logical formalism underlyi...
We combine the description logic ALC with the metric logics defined Entities that are conceived of as abstract points in the realm of ALC are given a spatial extension via an `ext...
In multidisciplinary medical services (e.g. Intensive Care Units or Pain Management Centers), Case-Based Reasoning systems require good case representations. When multiple disorde...