搜索结果: 1-15 共查到“计算机科学技术 Inference”相关记录22条 . 查询时间(0.07 秒)
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 ...
3D ENDOSCOPY VIDEO GENERATED USING DEPTH INFERENCE: CONVERTING 2D TO 3D
image processing computer vision 3d endoscopy converting 2d to 3d
2015/1/20
A novel algorithm was developed to convert raw 2-dimensional endoscope videos into 3-dimensional view. Minimally invasive surgeries aided with 3D view of the invivo site have shown to reduce errors an...
INFERENCE-BASED FORENSICS FOR EXTRACTING INFORMATION FROM DIVERSE SOURCES
Digital Forensics mobile phone triage
2014/12/18
Digital forensics is tasked with the examination and extraction of evidence from a diverse set of devices and information sources. While digital forensics has long been synonymous with file recovery, ...
Scaling MCMC Inference and Belief Propagation to Large, Dense Graphical Models
machine learning graphical models
2014/12/18
With the physical constraints of semiconductor-based electronics becoming increasingly limiting in the past decade, single-core CPUs have given way to multi-core and distributed computing platforms. A...
A Markov Model of Machine Translation using Non-parametric Bayesian Inference
Markov Model Machine Translation Non-parametric Bayesian Inference
2014/3/20
Most modern machine translation systems use phrase pairs as translation units, allowing for accurate modelling of phraseinternal translation and reordering. However phrase-based approaches are much le...
The Jena-Based Ontology Model Inference andRetrieval Application
Ontology Model Jena Semantic Web Inference Rule Retrieval Application
2013/1/28
Ontology as an important representation model of semantic web has valuable application. A new ontology model on the basis of Computer Graphics (CG) knowledge is proposed, called CG ontology model. The...
A State Estimation Method for Sound Environment System with Unknown Observation Mechanism by Introducing Fuzzy Inference
State Estimation Sound Environment System Unknown Observation Mechanism Fuzzy Inference
2013/1/28
The observed phenomena in real sound environment system often contain uncertainty such as the additional external noise with unknown statistics. Furthermore, there is complex nonlinear relationship be...