To use description logics (DLs) in an application, it is crucial to identify a DL that is sufficiently expressive to represent the relevant notions of the application domain, but f...
This paper reports on refinements and extensions to the MathLang framework that add substantial support for natural language text. We show how the extended framework supports mult...
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
Use case models are used in object-oriented analysis for capturing and describing the functional requirements of a system. Several methods for estimating software development effor...
Unsupervised over-segmentation of an image into superpixels
is a common preprocessing step for image parsing
algorithms. Superpixels are used as both regions of support
for feat...
Alastair P. Moore, Simon J. D. Prince, Jonathan Wa...