22018 search results - page 4238 / 4404 » or 2004 |
201
click to vote
W2GIS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Finding single pair shortest paths on surface is a fundamental problem in various domains, like Geographic Information Systems (GIS) 3D applications, robotic path plannin...
140
click to vote
W2GIS
2004
Springer
15 years 12 months ago
2004
Springer
Mobile transactions for updating spatial data are long-lived transactions that update local copies of the mobile platforms on disconnection. Since a mobile transaction is physicall...
136
click to vote
WABI
2004
Springer
15 years 12 months ago
2004
Springer
We consider the problem of finding the optimal pair of string patterns for discriminating between two sets of strings, i.e. finding the pair of patterns that is best with respect...
201
click to vote
WAC
2004
Springer
15 years 12 months ago
2004
Springer
The amount of information in the new emerging all-embracing pervasive environments will be enormous. Current Internet protocol conceived almost forty years ago, were never planned ...
190
click to vote
WADT
2004
Springer
15 years 12 months ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...