5401 search results - page 818 / 1081 » Using Versions in GIS |
178
click to vote
FASE
2009
Springer
15 years 10 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
158
click to vote
AMR
2006
Springer
15 years 10 months ago
2006
Springer
A novel and general criterion for image similarity validation is introduced using the so-called a contrario decision framework. It is mathematically proved that it is possible to c...
207
click to vote
BROADNETS
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we present a novel fully distributed version of a Mobile Backbone Network Topology Synthesis Algorithm (MBN-TSA) for constructing and maintaining a dynamic backbone...
190
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Predicate abstraction has been proved effective for verifying several infinite-state systems. In predicate abstraction, an abstract system is automatinstructed given a set of predi...
187
click to vote
APWEB
2006
Springer
15 years 10 months ago
2006
Springer
Many of the documents in large text collections are duplicates and versions of each other. In recent research, we developed new methods for finding such duplicates; however, as the...