5401 search results - page 412 / 1081 » Using Versions in GIS |
164
click to vote
JIS
2007
15 years 6 months ago
2007
is.sagepub.com/cgi/content/abstract/33/6/718 The online version of this article can be found at: Published by: http://www.sagepublications.com On behalf of: Chartered Institute of ...
183
click to vote
JLP
2007
15 years 6 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
173
click to vote
CLEIEJ
2000
15 years 6 months ago
2000
Software configuration management is one of the first requirements to achieve quality in the software process. However, these activities are very difficult to be introduced, mainl...
170
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
We introduce a new approach for drawing diagrams. Our approach is to use a technique we call confluent drawing for visualizing non-planar graphs in a planar way. This approach all...
181
click to vote
DPD
2002
15 years 6 months ago
2002
Data mining is a new, important and fast growing database application. Outlier (exception) detection is one kind of data mining, which can be applied in a variety of areas like mon...