This text sets out a series of approaches to the analysis and synthesis of the World Wide Web, and other web-like information structures. A comprehensive set of research questions...
Tim Berners-Lee, Wendy Hall, James A. Hendler, Kie...
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Edalat–Potts in type theory. We choose the constructive type theory extended with coind...
It is agreed upon that topological relations ore of great importance regarding to GIS data sets consistency. A lot of errors that can be found in GIS data sets are coming from a l...
Abstract. We demonstrate the manner in which high-level design requirements, e.g., as they correspond to the commonsensical conceptualisation of expert designers, may be formally s...
Object recognition is challenging due to high intra-class
variability caused, e.g., by articulation, viewpoint changes,
and partial occlusion. Successful methods need to strike a...