نتایج جستجو برای: probabilistic logistic time

تعداد نتایج: 2028191  

Journal: :international journal of marine science and engineering 2012
a. zendegani a. narimannejad m. r. mirilavasani g. nasiri

reliability of a system is the probability that it will function as intended for the required period of time. the opposite of reliability is failure probability per unit time or over time, such as a life cycle. following a review of existing reliability codes and approaches, comprehensive approaches to assess the reliability of offshore structures are described, including probabilistic analysis...

D. Varasteh Tafti M. Azhini,

The idea of probabilistic metric space was introduced by Menger and he showed that probabilistic metric spaces are generalizations of metric spaces. Thus, in this paper, we prove some of the important features and theorems and conclusions that are found in metric spaces. At the beginning of this paper, the distance distribution functions are proposed. These functions are essential in defining p...

1996
Christel Baier

Various models and equivalence relations or preorders for probabilistic processes are proposed in the literature. This paper deals with a model based on labelled transition systems extended to the prob-abalistic setting and gives an O(n 2 m) algorithm for testing probabilistic bisimulation and an O(n 5 m 2) algorithm for testing probabilistic simulation where n is the number of states and m the...

Journal: :Electronic Colloquium on Computational Complexity (ECCC) 2004
Oded Goldreich Madhu Sudan Luca Trevisan

Building on Barak’s work (Random’02), Fortnow and Santhanam (FOCS’04) proved a time hierarchy for probabilistic machines with one bit of advice. Their argument is based on an implicit translation technique, which allow to translate separation results for short (say logarithmic) advice (as shown by Barak) into separations for a single-bit advice. In this note, we make this technique explicit, by...

Journal: :Journal of Artificial Intelligence Research 1996

Journal: :EURO Journal on Transportation and Logistics 2013

Journal: :ACM Transactions on Knowledge Discovery From Data 2023

Effective time-series forecasting methods are of significant importance to solve a broad spectrum research problems. Deep probabilistic techniques have recently been proposed for modeling large collections time-series. However, these explicitly assume either complete independence (local model) or dependence (global between in the collection. This corresponds two extreme cases where every is dis...

2014
Vahid Hashemi Hassan Hatefi Jan Krčál

Verification of PCTL properties of MDPs with convex uncertainties has been investigated recently by Puggelli et al. However, model checking algorithms typically suffer from state space explosion. In this paper, we address probabilistic bisimulation to reduce the size of such an MDPs while preserving PCTL properties it satisfies. We discuss different interpretations of uncertainty in the models ...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید