Bridging the gap between GLUE and formal statistical approaches: approximate Bayesian computation
نویسندگان
چکیده
منابع مشابه
Bridging the gap between GLUE and formal statistical approaches: approximate Bayesian computation
In recent years, a strong debate has emerged in the hydrologic literature regarding how to properly treat nontraditional error residual distributions and quantify parameter and predictive uncertainty. Particularly, there is strong disagreement whether such uncertainty framework should have its roots within a proper statistical (Bayesian) context using Markov chain Monte Carlo (MCMC) simulation ...
متن کاملBridging the gap between theory and practice of approximate Bayesian inference
In computational cognitive science, many cognitive processes seem to be successfully modeled as Bayesian computations. Yet, many such Bayesian computations has been proven to be computationally intractable (NP-hard) for unconstrained input domains, even if only an approximate solution is sought. This computational complexity result seems to be in strong contrast with the ease and speed with whi...
متن کاملBridging the Gap between Natural Language Requirements and Formal Specifications
In this paper, we discuss the problem of transforming a natural language requirements specification into a formal specification. We present several methods to support the process and implemented them in a commercial tool, the Requirements Quality Suite. We achieve this by enriching the requirement text with additional structure (using a knowledge base) and asking the requirement engineer to for...
متن کاملBridging the Gap Between Requirements Sketches and Semi-Formal Models
State-of-the-art requirements modeling tools rely on predefined notations. In contrast, requirements engineers and stakeholders often sketch requirements in arbitrary notations during early elicitation phases. Engineers must then manually transform the sketches into semi-formal models, which is a timeconsuming and error-prone task. We propose to investigate how early sketching and the transform...
متن کاملBridging the Gap Between Informal and Formal Guideline Representations
Clinical guidelines are important means to improve quality of health care while limiting cost and supporting the medical staff. They are written as free text with tables and figures. Transforming them into a formal, computer-processable representation is a difficult task requiring both computer scientist skills and medical knowledge. To bridge this gap, we designed an intermediate representatio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Hydrology and Earth System Sciences
سال: 2013
ISSN: 1607-7938
DOI: 10.5194/hess-17-4831-2013