Sciweavers

1561 search results - page 99 / 313
» Probability Theory on IF Events
Sort
View
WSC
2008
15 years 6 months ago
Queueing models for single machine manufacturing systems with interruptions
Queueing theory is a well-known method for evaluating the performance of manufacturing systems. When we want to analyze the performance of a single machine, M/M/1 queues or approx...
Kan Wu, Leon F. McGinnis, Bert Zwart
CI
2002
102views more  CI 2002»
15 years 4 months ago
Topological Spatio-Temporal Reasoning and Representation
We present here a theory of motion from a topological point of view, in a symbolic perspective. Taking space-time histories of objects as primitive entities, we introduce temporal...
Philippe Muller
ICIP
2001
IEEE
16 years 6 months ago
Multiresolution Gaussian mixture models for visual motion estimation
This paper introduces a new generalisation of scale-space and pyramids, which combines statistical modelling with a spatial representation. The representation uses the familiar co...
Roland Wilson, Andrew Calway
STOC
2009
ACM
106views Algorithms» more  STOC 2009»
16 years 5 months ago
Random graphs and the parity quantifier
The classical zero-one law for first-order logic on random graphs says that for every first-order property in the theory of graphs and every p (0, 1), the probability that the r...
Phokion G. Kolaitis, Swastik Kopparty
VMCAI
2010
Springer
16 years 1 months ago
Best Probabilistic Transformers
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
Björn Wachter, Lijun Zhang