5401 search results - page 116 / 1081 » Using Versions in GIS |
117
Voted
GIS
2002
ACM
15 years 3 months ago
2002
ACM
A novel method of map matching using the Global Positioning System (GPS) has been developed which uses digital mapping and height data to augment point position computation. This m...
122
Voted
JAR
2007
15 years 3 months ago
2007
ACL2(r) is a modified version of the theorem prover ACL2 that adds support for the irrational numbers using non-standard analysis. It has been used to prove basic theorems of anal...
157
click to vote
COSIT
2001
Springer
15 years 8 months ago
2001
Springer
In this paper we propose the use of small global memory for a viewer’s immediate surroundings to assist in recognising places that have been visited previously. We call this glob...
125
click to vote
RV
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present a new approach for developing robust software applications that breaks dependences on the failed parts of an application’s execution to allow the rest of the...
111
Voted
IWPC
2007
IEEE
15 years 10 months ago
2007
IEEE
An approach to recover/discover traceability links between software artifacts via the examination of a software system’s version history is presented. A heuristic-based approach...