53302 search results - page 10283 / 10661 » On the design of a |
123
click to vote
GI
2008
Springer
15 years 2 months ago
2008
Springer
: As data and services are increasingly distributed in the network, rather than stored in a fixed location, one can imagine a scenario in which the Personal Computer, intended as a...
118
Voted
GIS
2008
ACM
15 years 2 months ago
2008
ACM
The road network is one of the most important types of information on raster maps. In particular, the set of road intersection templates, which consists of the road intersection p...
116
click to vote
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
Bidirectional transformations provide a novel mechanism for synchronizing and maintaining the consistency of information between input and output. Despite many promising results o...
112
Voted
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
106
click to vote
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...