251
Voted
GIS
16 years 5 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...
126
click to vote
GIS
16 years 5 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...
226
click to vote
TPHOL
15 years 11 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...
240
click to vote
TIME
15 years 11 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