Abstract: In this paper we focus on a pictorial query language, referred to as Geographical Pictorial Query Language (GeoPQL), and we revise its formal semantics by considering the polygon-polyline, ...
Abstract: A fundamental task in 3D geovisualization and GIS applications is the visualization of vector data that can represent features such as transportation networks or land use coverage. Mapping ...
A self-verifying proof that the Thiele Machine is a universal model of computation which strictly contains the Turing Machine as a blind, special case. All open source.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results