A New Proof of Finite Moment Conditions for GI/G/1 Busy Periods.

S. Ghahramani Ronald W. Wolff

Published in: Queueing Syst. Theory Appl. (1989)

Keyphrases

sufficient conditions
neural network
data sets
data structure
theorem prover
real time
learning algorithm
image processing
website
lower bound
relational databases
shape descriptors
finite number
complete axiomatization
equational theories