Search Results for Probabilities.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings

Yazar

Ciucci, Davide. editor. (orcid)0000-0002-8083-7809

https://doi.org/10.1007/978-3-030-00461-3

Format:

Electronic Resources

Alıntı:

information. New approaches have been developed on imprecise probabilities, fuzzy set theory, rough set theory

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Yazar

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926

https://doi.org/10.1007/978-3-319-68270-9

Format:

Electronic Resources

Alıntı:

Modeling and Semantics -- Testing -- Analysis -- Probabilities -- System Dynamics -- Applications.

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Yazar

Jansen, David N. editor. (orcid)0000-0002-6636-3301

https://doi.org/10.1007/978-3-030-00151-3

Format:

Electronic Resources

Alıntı:

Systems and Probabilities.

Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization

Yazar

Draheim, Dirk. author.

https://doi.org/10.1007/978-3-319-69868-7

Format:

Electronic Resources

Alıntı:

preservation result for conditional probabilities under the full update range and compares F.P. semantics with

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Yazar

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792

https://doi.org/10.1007/978-3-030-17465-1

Format:

Electronic Resources

Alıntı:

Monitoring of Hyperproperties -- Hybrid and Stochastic Systems -- Tail Probabilities for Runtimes of

Scalable Uncertainty Management 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings

Yazar

Moral, Serafín. editor. (orcid)0000-0002-5555-0857

https://doi.org/10.1007/978-3-319-67582-4

Format:

Electronic Resources

Alıntı:

classification for interval-valued data -- Estimating Conditional Probabilities by Mixtures of Low Order

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}