Voronoi diagram for a set of geometric objects is a partition of the plane (or space in higher dimensions) into disjoint regions each dominated by some given object under a predet...
Remotely-sensed images of the earth’s surface are used across a wide range of industries and applications including agriculture, mining, defence, geography and geology, to name ...
R. Ian Faulconbridge, Mark R. Pickering, Michael J...
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...
: This is an ongoing project, which is scheduled until 2005. So I decided together with Richard Wang to set up Sup-Projects that could be published earlier. The main objective is t...
Component-based software development has become an important approach to building complex software systems. Much research focuses on component specification to achieve the advanta...