搜索结果: 1-15 共查到“工学 Inference”相关记录43条 . 查询时间(0.14 秒)
Static Type Inference in a Dynamically Typed Language
Static Type Inference Dynamically Typed Language
2016/5/25
We present a type inference system for FL based on an operational, rather than a denotational, formulation of types. The essential elements of the system are a type language based on regular trees and...
We present a general algorithm for solving systems of inclusion constraints over type expressions.The constraint language includes function types, constructor types, and liberal intersection and union...
Dynamic typing is a program analysis targeted at removing runtime tagging and untagging operations in dynamically typed languages. This paper shows that dynamic typing at least as powerful as Henglein...
Inclusion constraints over set-expressions [1, 4] provide a general formalism to express a large class of program analyses. Over the past two years, we have experimented with inclusion constraints to ...
Barrier Inference
Barrier Inference
2016/5/24
Many parallel programs are written in SPMD style, i.e.by running the same sequential program on all processes.SPMD programs include synchronization, but it is easy to write incorrect synchronization p...
Static Error Detection Using Semantic Inconsistency Inference
Static analysis error detection satisfiability inconsistency
2016/5/24
Inconsistency checking is a method for detecting software errors that relies only on examining multiple uses of a value. We propose that inconsistency inference is best understood as a variant of the ...
Automated Error Diagnosis Using Abductive Inference
Error diagnosis abductive inference static analysis
2016/5/24
When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually classify the report, but ...
From Invariant Checking to Invariant Inference Using Randomized Search
Invariant Checking Invariant Inference Randomized Search
2016/5/24
We describe a general framework c2i for generating an invariant inference procedure from an invariant checking procedure. Given a checker and a language of possible invariants, c2i generates an infere...
Specification Inference Using Context-Free Language Reachability
program analysis verification specification inference
2016/5/24
We present a framework for computing context-free language reachability properties when parts of the program are missing. Our framework infers candidate specifications for missing program pieces that ...
KNOWLEDGE BASED EXPERT SYSTEMS IN REMOTE SENSING TASKS:QUANTIFYING GAIN FROM INTELLIGENT INFERENCE
Knowledge Base Reasoning Theory Fusion Classification Data Mining
2015/12/31
How to measure gain from the use of intelligent inference? How can the complexity of the recognition / classification task be estimated? What is the type of evidence which best suits an.inference mech...
EARTHQUAKE DESTRUCTION ASSESSMENT OF URBAN ROADS NETWORK USING SATELLITE IMAGERY AND FUZZY INFERENCE SYSTEMS
Satellite Remote Sensing Damage Assessment Computer Vision Texture Analysis Disaster Management Fuzzy Inference Systems
2015/12/28
The idea of assessing the damages to roads network after earthquake strikes has been referred as a matter of importance for performing every systematically planned activity in the affected region. Whe...
Automatic Inference for Infinite Order Vector Autoregressions
Vector Autoregressions instrument
2015/9/22
Infinite order vector autoregressive (VAR) models have been used in a number of applications
ranging from spectral density estimation, impulse response analysis, tests for cointegration and uni...
Asymptotically Unbiased Inference for a Dynamic Panel Model with Fixed Effects When Both n and T are Large
Asymptotically Unbiased Inference Dynamic Panel Model
2015/9/22
We consider a dynamic panel AR(1) model with fixed effects when both n and T are large. Under the
“T fixed n large” asymptotic approximation, the ordinary least squares (OLS) or Gau...
INFERENCE OF IMPURITY RADIATIVE FORCING IN SNOW FROM MULTISPECTRAL TO HYPERSPECTRAL IMAGERS
soil moisture agriculture
2015/9/8
The inference of the radiative forcing of soot and dust in snow has taken on importance in recent years because of
the realization of the climate effects that they have (Hansen and Nazarenko, 2004). ...
Theoretical aspects of evidence — inference relationships in remote sensing expert systems
Remote sensing Expert Systems Inference
2015/8/20
Understanding inference–evidence relationships in recognition tasks is fundamental for developing methods utilizing Artificial
Intelligence. Recognition of geographical phenomena in wide areas from r...