We present an approach on how to investigate what kind of semantic information is regularly associated with the structural markup of scientific articles. This approach addresses ...
This article discusses strategies for improving the speed of Matlab code. Keep in mind that speed depends heavily on the computation platform and that the fastest method on one sys...
I present a new syntactical method for proving the Interpolation Theorem for the implicational fragment of intuitionistic logic and its substructural subsystems. This method, like...
We present an extension to the definition of a concept in an ontology that allows an agent to simultaneously communicate with a group of agents that might have different understa...
This keynote paper argues for an increased understanding of the various roles involved in the development work to be able to achieve the goal of developing increased usability. Hum...