Results 301 to 310 of about 55,839,926 (326)
Some of the next articles are maybe not open access.
WCS-analysis of the Context-Sensitive
Acta Informatica, 1975In order to gain some insight into the practically undisclosed phenomenon of general Context-Sensitivity the concept of Weak-Context-Sensitivity proves to be a very useful tool. With the correspondences WCS--recursive and Context-Sensitive--recursively enumberable a strong connection to the well known Analysis of the Unsolvable is established.
openaire +2 more sources
Sensitivity analysis in Bayesian networks
1995For systems based on Bayesian networks, evidence is used to compute posterior probabilities for some hypotheses. Sensitivity analysis is concerned with questions on how sensitive the conclusion is to the evidence provided. After the basic definitions and an example we conclude that the heart of sensitivity analysis is to compute probabilities for the ...
Jensen, F. V. +2 more
openaire +2 more sources
Context-sensitive synchronization-sensitive analysis is undecidable
ACM Transactions on Programming Languages and Systems, 2000Static program analysis is concerned with the computation of approximations of the runtime behavior of programs. Precise information about a program's runtime behavior is, in general, uncomputable for various different reasons, and each reason may necessitate making certain approximations in the information computed. This article illustrates one source
openaire +1 more source
2023 IEEE 19th International Conference on Automation Science and Engineering (CASE), 2023
Han Fu, L. Jeff Hong, Guangxin Jiang
openaire +2 more sources
Han Fu, L. Jeff Hong, Guangxin Jiang
openaire +2 more sources
Surrogate-assisted global sensitivity analysis: an overview
Structural And Multidisciplinary Optimization, 2020Kai Cheng +3 more
semanticscholar +1 more source
Sensitivity Analysis in Practice: A Guide to Assessing Scientific Models
, 2004Andrea Saltelli +3 more
semanticscholar +1 more source
ACM SIGSPATIAL International Workshop on Advances in Geographic Information Systems, 2017
Xiao-Bo Zhou, Henry Lin
semanticscholar +1 more source
Xiao-Bo Zhou, Henry Lin
semanticscholar +1 more source
Global sensitivity analysis using polynomial chaos expansions
Reliability Engineering & System Safety, 2008B. Sudret
semanticscholar +1 more source

