搜索结果: 1-15 共查到“知识库 计算机科学技术 on data”相关记录133条 . 查询时间(0.156 秒)
THE EMERGENCE OF SOCIAL MEDIA FOR NATURAL DISASTERS MANAGEMENT: A BIG DATA PERSPECTIVE
Social media Big Data Twitter real-time disaster management civil protection GIS
2018/3/6
Social media is rapidly emerging as a potential resource of information capable to support natural disasters management. Despite the growing research interest focused on using social media during natu...
BUILDING A GEOGRAPHIC DATA REPOSITORY FOR URBAN RESEARCH WITH FREE SOFTWARE – LEARNING FROM Observatorio.CEDEUS.cl
Data Repository Spatial Data Infrastructure (SDI) Free Software GeoNode Urban Research
2017/5/10
The recent trend towards open data and open science as well as a demand for holistic and interdisciplinary research requires platforms that allow the distribution and exchange of research data, includ...
In this paper we present the system Ontop-spatial that is able to answer GeoSPARQL queries on top of geospatial relational databases, performing on-the-fly GeoSPARQL-to-SQL translation using ontologie...
MULTI-MODAL REMOTE SENSING DATA FUSION FRAMEWORK
Deep Learning Convolutional Neural Networks Super resolution Crowd-sourced data Data fusion
2017/5/10
The inconsistency between the freely available remote sensing datasets and crowd-sourced data from the resolution perspective forms a big challenge in the context of data fusion. In classical classifi...
HIGH RESOLUTION GLOBAL GRIDDED DATA FOR USE IN POPULATION STUDIES
WorldPop Geography and Environment University of Southampton
2017/5/10
Open access geospatial data represent a range of metrics relevant to global human population mapping at fine spatial scales. Detailed and contemporary spatial datasets that accurately describe populat...
Using the Run-Time Sizes of Data Structures to Guide Parallel Thread Creation
Run-Time Sizes Data Structures Guide Parallel Thread Creation
2016/5/24
Dynamic granularity estimation is a new technique for automatically identifying expressions in functional languages for parallel evaluation. Expressions with little computation relative to thread-crea...
Type Systems for Distributed Data Structures.
Parallel programming languages that let multiple processors access shared data provide a variety of sharing mechanisms and memory models. Understanding a language’s support for data sharing behavior i...
Data Structure Fusion
Data Structure
2016/5/24
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data types are speci-fie...
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 typ...
We describe techniques for analyzing data polymorphism in C, and show that understanding data polymorphism is important for statically verifying type casts in the Linux kernel, where our techniques pr...
We describe an approach for synthesizing data representations for concurrent programs. Our compiler takes as input a program written using concurrent relations and synthesizes a representation of the ...
We describe a Guess-and-Check algorithm for computing algebraic equation invariants of the form ∧ifi(x1, . . . , xn) = 0, where each fi is a polynomial over the variables x1, . . . , xn of the program...
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...
Language Support for Dynamic, Hierarchical Data Partitioning
Legion regions type system independence aliasing hierarchical scheduling
2016/5/24
Applications written for distributed-memory parallel architectures must partition their data to enable parallel execution.As memory hierarchies become deeper, it is increasingly necessary that the dat...