Results 11 to 20 of about 514,307 (282)
Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 We investigate the suitability of statistical model checking techniques for analysing quantitative properties of software product line models with probabilistic aspects.
Maurice H. ter Beek +3 more
doaj +6 more sources
Formal verification of probabilistic SystemC models with statistical model checking [PDF]
Journal of Software: Evolution and Process, 2017 AbstractTransaction‐level modeling with SystemC has been very successful in describing the behavior of embedded systems by providing high‐level executable models, in which many of them have inherent probabilistic behaviors, eg, random data and unreliable components.
Van Chan Ngo, Axel Legay
openaire +3 more sources
Statistical physics of medical diagnostics: Study of a probabilistic model [PDF]
Physical Review E, 2018 We study a diagnostic strategy which is based on the anticipation of the diagnostic process by simulation of the dynamical process starting from the initial findings. We show that such a strategy could result in more accurate diagnoses compared to a strategy that is solely based on the direct implications of the initial observations.
Mashaghi, Alireza, Ramezanpour, Abolfazl
openaire +4 more sources
Probabilistic Search for Object Segmentation and Recognition [PDF]
, 2002 The problem of searching for a model-based scene interpretation is analyzed within a probabilistic framework. Object models are formulated as generative models for range data of the scene. A new statistical criterion, the truncated object probability, is
D. G. Lowe +12 more
core +4 more sources
Japan Architectural Review, 2023 This study proposes a probabilistic model for earthquake ground motion prediction, named ground motion generation model, which can generate ground motion time history data directly.
Yuma Matsumoto +4 more
doaj +1 more source
A probabilistic track model for tropical cyclone risk assessment using multitask learning
Frontiers in Energy Research, 2023 Tropical cyclone (TC) track forecasting is critical for wind risk assessment. This work proposes a novel probabilistic TC track forecasting model based on mixture density network (MDN) and multitask learning (MTL).
Zhou Jian, Xuan Liu, Tianyang Zhao
doaj +1 more source
Journal of Statistics and Data Science Education, 2021 Statistical modeling continues to gain prominence in the secondary curriculum, and recent recommendations to emphasize data science and computational thinking may soon position algorithmic models into the school curriculum. Many teachers’ preparation for
Andrew Zieffler +3 more
doaj +1 more source
Order Statistics for Probabilistic Graphical Models [PDF]
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017 We consider the problem of computing r-th order statistics, namely finding an assignment having rank r in a probabilistic graphical model. We show that the problem is NP-hard even when the graphical model has no edges (zero-treewidth models) via a reduction from the partition problem.
David Smith, Sara Rouhani, Vibhav Gogate
openaire +1 more source
A probabilistic justification for using tf.idf term weighting in information retrieval [PDF]
, 2000 This paper presents a new probabilistic model of information retrieval. The most important modeling assumption made is that documents and queries are defined by an ordered sequence of single terms.
Hiemstra, D.
core +2 more sources
Improving Probabilistic Record Linkage Using Statistical Prediction Models
International Statistical Review, 2022 SummaryRecord linkage brings together information from records in two or more data sources that are believed to belong to the same statistical unit based on a common set of matching variables. Matching variables, however, can appear with errors and variations and the challenge is to link statistical units that are subject to error.
Angelo Moretti, Natalie Shlomo
openaire +5 more sources