233
Voted
GIS
16 years 4 months ago
2009 ACM 
A parallel version of the plane sweep algorithm targeted towards the small number of processing cores available on commonly available multi-core systems is presented. Experimental...
116
Voted
GIS
16 years 4 months ago
2009 ACM 
This paper presents a method for automatically converting raw GPS traces from everyday vehicles into a routable road network. The method begins by smoothing raw GPS traces using a...
214
Voted
TPHOL
15 years 10 months ago
2009 IEEE
Abstract. We give an overview of Agda, the latest in a series of dependently typed programming languages developed in Gothenburg. Agda is based on Martin-L¨of’s intuitionistic t...
226
Voted
TIME
15 years 10 months ago
2009 IEEE 
—Rule-based filters are sequences of rules formed of a condition and a decision. Rules are applied sequentially up to the first fulfilled condition, whose matching decision de...
|
Automated Reasoning