Search Results for probability.

Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics

Yazar

Draheim, Dirk. author.

https://doi.org/10.1007/978-3-642-55198-7

Format:

Electronic Resources

Alıntı:

Probability and Statistics in Computer Science. http://scigraph.springernature.com/things/product

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

Yazar

Alvim, Mário S. editor.

https://doi.org/10.1007/978-3-030-31175-9

Format:

Electronic Resources

Alıntı:

Probability and Statistics in Computer Science. https://scigraph.springernature.com/ontologies

Topics in Grammatical Inference

Yazar

Heinz, Jeffrey. editor.

http://dx.doi.org/10.1007/978-3-662-48395-4

Format:

Electronic Resources

Alıntı:

Automata from Positive and Negative Data -- Learning Probability Distributions Generated by Finite-State

Theory and Applications of Satisfiability Testing – SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Yazar

Creignou, Nadia. editor.

http://dx.doi.org/10.1007/978-3-319-40970-2

Format:

Electronic Resources

Alıntı:

-- The Normalized Autocorrelation Length of Max r-Sat Converges in Probability to (1-1/2=r)/r -- Tight

An Introduction to Kolmogorov Complexity and Its Applications

Yazar

Li, Ming. author.

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

Format:

Electronic Resources

Alıntı:

KC, including the theories of algorithmic complexity and algorithmic probability Presents a general

Intelligent Computing Theories and Application 15th International Conference, ICIC 2019, Nanchang, China, August 3–6, 2019, Proceedings, Part II

Yazar

Huang, De-Shuang. editor.

https://doi.org/10.1007/978-3-030-26969-2

Format:

Electronic Resources

Alıntı:

Chebyshev moments and bi-gram -- Combining Evolutionary Information and Sparse Bayesian Probability Model to

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II

Yazar

Shi, Yong. editor.

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

Format:

Electronic Resources

Alıntı:

Separable Density Fitting -- Model-Assisted Probability of Detection for Structural Health Monitoring of

	{displayName}	{count}
{error}