We prove the following generalised empty pentagon theorem: for every integer 2, every sufficiently large set of points in the plane contains collinear points or an empty pentagon...
In this paper, we attempt to describe the evolving status of wireless communications and its impact on the future of mobile computing. We present a historical perspective and eluc...
This case describes how Siemens Power Corporation, a Richland, Washington (USA), based manufacturer of nuclear fuel assemblies, came to adopt and implement SAP's R/3 applicat...
First order reasoning about hyperintegers can prove things about sets of integers. In the author's paper Nonstandard Arithmetic and Reverse Mathematics, Bulletin of Symbolic L...
The automatic creation of 3D models of urban spaces has become a very active field of research. This has been inspired by recent applications in the location-awareness on the Inte...
Franz Leberl, Horst Bischof, Helmut Grabner, Stefa...