A corporate website is the virtual representation of a corporation or organization on the Internet. Corporate websites face numerous problems due to their large size and complexit...
Ihor Kuz, Patrick Verkaik, Maarten van Steen, Henk...
In this paper, we propose a partially-blurred-image classification and analysis framework for automatically detecting images containing blurred regions and recognizing the blur ty...
Natural language-based conceptual modelling as well as the use of diagrams have been essential components of fact-oriented modelling from its inception. However, transforming natur...
Tait’s method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed λ-calculi. Histo...
Where some have attempted to apply cognitive methods to the study of geography, the present paper is designed to serve as a starting point for applying methods of geographic ontolo...