Search Results for Probabilities.

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings

Yazar

Kern-Isberner, Gabriele. editor. (orcid)0000-0001-8689-5391

https://doi.org/10.1007/978-3-030-29765-7

Format:

Electronic Resources

Alıntı:

Decision Making -- Precise and Imprecise Probabilities -- Uncertain Reasoning for Applications.

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.

Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Yazar

Lluch Lafuente, Alberto. editor.

http://dx.doi.org/10.1007/978-3-319-39519-7

Format:

Electronic Resources

Alıntı:

Sessions and Infinite Data -- On Dynamical Probabilities, or: How to Learn to Shoot Straight.

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Yazar

Muscholl, Anca. editor.

http://dx.doi.org/10.1007/978-3-642-54830-7

Format:

Electronic Resources

Alıntı:

Probabilities in Reconfigurable Broadcast Networks -- Unsafe Order-2 Tree Languages Are Context-Sensitive

Model-Based Systems Engineering with OPM and SysML

Yazar

Dori, Dov. author.

http://dx.doi.org/10.1007/978-1-4939-3295-5

Format:

Electronic Resources

Alıntı:

Abstraction -- OPM Operational Semantics and Control Links -- Logical Operators and Probabilities -- Overview

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings

Yazar

Ábrahám, Erika. editor.

http://dx.doi.org/10.1007/978-3-642-54862-8

Format:

Electronic Resources

Alıntı:

Quantum Protocols by Equivalence Checking -- Computing Conditional Probabilities in Markovian Models

	{displayName}	{count}
{error}