Sciweavers

5785 search results - page 36 / 1157
» Approximability of Probability Distributions
Sort
View
ETT
2002
92views Education» more  ETT 2002»
15 years 1 months ago
Most probable paths and performance formulae for buffers with gaussian input traffic
In this paper, performance formulae for a queue serving Gaussian traffic are presented. The main technique employed is motivated by a general form of Schilder's theorem, the ...
Ron Addie, Petteri Mannersalo, Ilkka Norros
POPL
2002
ACM
16 years 1 months ago
Stochastic lambda calculus and monads of probability distributions
Probability distributions are useful for expressing the meanings of probabilistic languages, which support formal modeling of and reasoning about uncertainty. Probability distribu...
Norman Ramsey, Avi Pfeffer
AAAI
2010
15 years 1 months ago
Inducing Probability Distributions from Knowledge Bases with (In)dependence Relations
When merging belief sets from different agents, the result is normally a consistent belief set in which the inconsistency between the original sources is not represented. As proba...
Jianbing Ma, Weiru Liu, Anthony Hunter
ICCD
2001
IEEE
119views Hardware» more  ICCD 2001»
15 years 10 months ago
A Functional Validation Technique: Biased-Random Simulation Guided by Observability-Based Coverage
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
Serdar Tasiran, Farzan Fallah, David G. Chinnery, ...
JCB
2002
74views more  JCB 2002»
15 years 1 months ago
Using Substitution Matrices to Estimate Probability Distributions for Biological Sequences
Accurately estimating probabilities from observations is important for probabilistic-based approaches to problems in computational biology. In this paper we present a biologically...
Eleazar Eskin, William Stafford Noble, Yoram Singe...