Approximate and probabilistic methods

P Ciaccia, M Patella - SIGSPATIAL Special, 2010 - dl.acm.org
… we review two important approximate techniques, highlighting … Clearly, the quality of the
approximation depends on the “… Besides the obvious challenge of devising new approximate

On the accuracy of various probabilistic methods

E Fox, S Reh - 41st Structures, Structural Dynamics, and Materials …, 2000 - arc.aiaa.org
probabilistic methods from an accuracy standpoint. In particular, the representative probabilistic
methods … state function approximation was a 2nd order approximation / curvature fitting. …

[BOOK][B] The probabilistic method

N Alon, JH Spencer - 2016 - books.google.com
… reference on probabilistic methods in combinatorics, the Fourth Edition continues to feature
a … combinatorists who use probabilistic methods, discrete mathematics, and number theory. …

[HTML][HTML] Types of approximation for probabilistic cognition: Sampling and variational

AN Sanborn - Brain and cognition, 2017 - Elsevier
… Here I focus on the two types that have been applied to approximate probabilistic cognition:
sampling and variational approximations. Sampling algorithms are stochastic, randomly …

The probabilistic method

J Spencer - Proceedings of the third annual ACM-SIAM symposium …, 1992 - dl.acm.org
The use of randomness is now an accepted tool in Theoretical Computer Science but not
everyone is aware of the underpinnings of this methodology in Combinatorics - particularly, in …

Probabilistic verification and approximation

R Lassaigne, S Peyronnet - Annals of Pure and Applied Logic, 2008 - Elsevier
… of efficient approximation methods to verify quantitative specifications of probabilistic systems.
… time randomized approximation scheme with relative error for probabilistic verification. …

Approximate analysis of probabilistic processes: Logic, simulation and games

J Desharnais, F Laviolette… - 2008 Fifth International …, 2008 - ieeexplore.ieee.org
approximate bisimulation and approximate simulation have been studied in many other
contexts, such as in non probabilistic … players game for probabilistic systems. Games semantics …

Probabilistic rough set approximations

Y Yao - International journal of approximate reasoning, 2008 - Elsevier
probabilistic rough set approximations can be developed. In Section 4, we critically review
different formulations of probabilistic rough set approx… of probabilistic approximation operators…

An approximate method for probabilistic assessment of transient stability

R Billinton, PRS Kuruganty… - IEEE Transactions on …, 1979 - ieeexplore.ieee.org
… is reasonable to examine the probabilistic aspects of the problem. Reader AidsPurpose:
Tutorial, … This paper deals with an approximate method using Lyapunov functions to obtain a …

Probabilistic verification and approximation

R Lassaigne, S Peyronnet - Electronic Notes in Theoretical Computer …, 2006 - Elsevier
… time framework for probabilistic verification and we show the hardness of approximating
probabilities for LT L formulas. In section 4, we give a randomized approximation algorithm to …