搜索结果: 1-15 共查到“知识库 计算机软件 Data”相关记录41条 . 查询时间(0.363 秒)
Data-Driven Equivalence Checking
Binary Analysis Compilers Markov Chain Monte Carlo Optimization Superoptimization
2016/5/24
We present a data driven algorithm for equivalence checking of two loops. The algorithm infers simulation relations using data from test runs. Once a candidate simulation relation has been obtained, o...
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach,abstract data type...
The "Photogrammetric Load Chain" for ADS Image Data: an Integral Approach to Image Correction and Rectification
Imagery Software Processing Performance Rectification Visualization
2015/12/3
A new photogrammetric load chain has been developed for the ADS40 pushbroom sensor focusing on parallel computation and interactive image processing. It allows image correction and rectification at lo...
IOC Contributions to International, Interdisciplinary Open Data Sharing
Interdisciplinary Open Data Sharing IOC Contributions
2015/7/8
Over the last 50 years, the Intergovernmental Oceanographic Commission (IOC) has had a profound influence upon the willingness of United Nations Member States to share and provide access to their inte...
Geological Mapping in The Cheleken Peninsula, Turkmenistan Area Using Advanced Spaceborne Thermal Emission and Reflection Radiometer (Aster) Data
Remote Sensing Geology Mapping
2015/7/7
High number of geological phenomena – outcropping Pliocene rocks (Red Series), former and recent mud volcanoes, hydrothermal
brines rich in Pb and Zn – which can provide significant information to un...
Extraction of Buildings in Brasilian Urban Environments Using High Resolution Remote Sensing Imagery and Laser Scanner Data
Laser scanner Quickbird Classification.
2015/7/7
The paper describes the resulst of recent experiments of a project that deals with the combined use of high resolution satellite
images, Quickbrid, and laser scanner data to analyse urban images. The...
Risk Assessment for Environmental Applications: Integrated Analysis of Spatial Data Using Multi-temporal Digital orthophotos and Remote-sensing Satellite Images.
multi-temporal analysis digital orthophoto image processing
2015/7/7
A recently instituted National Park, in Southern Italy, is offering a wide experience in landscape knowledge and planning from
multiple sources finalized to the environmental analysis. The study is c...
Derivation of Implicit Information from Spatial Data Sets with Data Mining
Spatial Information Retrieval
2015/7/7
Geographical data sets contain a huge amount of information about spatial phenomena. The exploitation of this knowledge with the
aim to make it usable in an internet search engine is one of the goals...
This paper presents a research and development project that will provide an extension to 2D geo-databases for handling large terrain
data. It first discusses application requirements and system desig...
This presentation will describe a practical approach to building specifications, standards, and reference data models for SDI
programs.The presentation will also presents ESRI’s GIS software platform...
Data Survey and Management Techniques in Civil Protection Emergencies
Earthquakes Forest fire GIS
2015/7/7
Calamitous events cause modifications in soil morphology and damages in infrastructures. The knowledge of these modifications
can be very useful for the Civil Protection operations. However, survey o...
Factors Causing Uncertainties in Spatial Data Mining
Factors Uncertainties Spatial data mining
2015/7/7
Spatial data mining is to extract the unknown knowledge from a large-amount of existing spatial data repositories areas (Ester et al.,
2000). The spatial data are to represent the spatial existence o...
Generalization of 3D Building Data Based on a Scale-Space Approach
Generalization of 3D Building Data
2015/7/6
Generalization of 3D Building Data Based on a Scale-Space Approach.
Schema Translations by Xslt for Gml-encoded Geospatial Data in Heterogeneous Web-service Environment
Web based Integration Interoperability Mobile Internet
2015/7/6
The paper discusses online integration of XML-encoded datasets in the current Web services environment, especially concentrating
on the required schema transformations. The approach is based on the u...
Xml-based Spatial Data Interoperability on The Internet
Interoperability Spatial Data GIS Internet Services
2015/7/6
With the development of network and information technology, the spatial data gain, sharing, issuing and analysing plays a more and
more important role in the decision of each department. This article...