Linear logic, introduced by Girard, is a refinement of classical logic with a natural, intrinsic
accounting of resources. This accounting is made possible by removing the 'structural'rules …

The continuous growth of available geospatial data requires new methods for its integration,
analysis, and visualization to be explored and implemented in software available to the …

The effectiveness of Convolutional Neural Networks stems in large part from their ability to
exploit the translation invariance that is inherent in many learning problems. Recently, it was …

The creation of a digital representation of the Earth and its associated data is a complex and
difficult task. The incredible size of geospatial data and differences between data sets pose …

On the one hand, the digital image processing and many other digital applications are
mostly based on the square grid. On the other hand, there are two other regular grids, the …

Opinion mining or sentiment analysis is the process of analysing the text about a topic
written in a natural language and classify them as positive negative or neutral based on the …

Advanced geospatial applications often involve complex computing operations performed
under sometimes severe resource constraints. These applications primarily rely on …

We propose a global optimisation approach to multi-target tracking. The method extends
recent work which casts tracking as an integer linear program, by discretising the space of …

In this chapter, we provide a thorough discussion on Digital Earth with particular focus on
Discrete Global Grid Systems (DGGS), which are a standardized representation of the Earth …

Feature extraction is widely used in image processing applications such as face recognition,
character recognition, fingerprint identification and medicine. Edge features is among the …