搜索结果: 1-15 共查到“工学 Reasoning”相关记录40条 . 查询时间(0.01 秒)
2017年智能家居论证国际研讨会（The International Workshop on Reasoning in Smart-Homes ）(RIS-2017)
2017年 智能家居论证国际 研讨会
2017/3/28
In the past years, many interesting applications for Smarthome technology have been discovered. These range von home automation, over supervision and security up to interesting topics on the horizon l...
LANDSLIDES EXTRACTION FROM DIVERSE REMOTE SENSING DATA SOURCES USING SEMANTIC REASONING SCHEME
Landslides Extraction Semantic Reasoning High Resolution Imagery First Order Logic Disaster Management Prover9
2016/11/30
Using high resolution satellite imagery to detect, analyse and extract landslides automatically is an increasing strong support for rapid response after disaster. This requires the formulation of proc...
ROAD NETWORK EXTRACTION FROM DSM BY MATHEMATICAL MORPHOLOGY AND REASONING
Road extraction Digital Surface Model Morphology
2016/7/8
The objective of this research is the automatic extraction of the road network in a scene of the urban area from a high resolution digital surface model (DSM). Automatic road extraction and modeling f...
INTERSECTION DETECTION BASED ON QUALITATIVE SPATIAL REASONING ON STOPPING POINT CLUSTERS
clustering spatial reasoning relational reasoning
2016/7/8
The purpose of this research is to propose and test a method for detecting intersections by analysing collectively acquired trajectories of moving vehicles. Instead of solely relying on the geometric ...
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern programming languages...
A lock placement describes, for each heap location, which lock guards the location, and under what circumstances. We formalize methods for reasoning about lock placements, making precise the interacti...
Crowd-scale Interactive Formal Reasoning and Analytics
MOOC theorem prover formal logic online education
2016/5/24
Large online courses often assign problems that are gradable by simple checks such as multiple choice, but these checks are inappropriate for domains in which students may produce an infinity of corre...
Static program analysis techniques cannot know certain values,such as the value of user input or network state, at analysis time. While such unknown values need to be treated as non-deterministic choi...
APPLICATION OF FUZZY REASONING TO ASSESSMENT OF CROP STRESS LEVEL BASED ON MODIS DATA:A FOCUS ON HEAVY METAL POLLUTION
Crop Pollution Hyper Spectral Fuzzy Logic Dynamic Algorithms
2015/12/31
This paper reviews the application of fuzzy theory and its combination with artificial neural-network technology for remote sensing information extraction. A dynamic fuzzy neural-network model is pres...
Research on Geographical Feature Spatio-Temporal Reasoning Model and Visualization of Thematic Element Based on Statistics Data Mining
Geographical Information Sciences Geography Spatio-temporal modeling Reasoning Statistics Data Mining
2015/12/2
This article introduced the function and the method of statistical data excavation, through the analysis sex statistical data characteristic, the data mining technology was carried on for sex statisti...
ASSESSMENT OF GROUND WATER POTENTIAL FROM REMOTE SENSING DATA USING CASE BASED REASONING TECHNIQUE
Decision Support System CBR Ground Water Assessment
2015/8/28
In this article we propose a Decision Support System using Case Based Reasoning (CBR) Technique for assessing ground water
potential. Ground water is found in bedrock or in thick masses of overburden...
QUALITATIVE SPATIAL REASONING ABOUT INTERNAL CARDINAL DIRECTION RELATIONS
Qualitative Spatial Reasoning Internal Cardinal Direction Relation External Cardinal Direction Relation Distance Relation Topological Relation Composition Table
2015/8/10
A class of novel spatial relation, internal cardinal direction (ICD) relation, is introduced and discussed. Applying ICD-9 model, the characteristics and the simplification rule of ICD relations are d...
A FUZZY-BASED TOOL FOR SPATIAL REASONING:A CASE STUDY ON ESTIMATING FOREST FIRE RISKY AREAS
Spatial reasoning Fuzzy Set Forest Fire Risk Mapping
2015/8/10
The Mediterranean countries like many world countries have forest fire problem. Many forest fires have occurred each year and huge amount of forest areas in each country have been lost. 27% of Turkey’...
A METHODOLOGY OF MODELLING OBJECT HISTORY ORIENTED TO SPATIOTEMPORAL REASONING
Spatio-Temporal Data Model Object-Oriented DataBase Event Spatio-Temporal Reasoning Geographical Information System
2015/8/10
Spatio-Temporal Data Model (STDM) is the kernel and a critical point of the temporal difficulties in Geographical Information Systems. In recent years it has become an important research direction to ...
AUTOMATIC QUALITY ASSESSMENT OF GIS ROAD DATA USING AERIAL IMAGERY-A COMPARISON BETWEEN BAYESIAN AND EVIDENTIAL REASONING
Database GIS Imagery Networks Parameters Quality Reliability
2015/8/7
This paper describes the framework for automatic quality assessment of existing geo-spatial data. The necessary reference information is derived from up-to-date digital aerial images via automatic obj...