Sciweavers

1561 search results - page 99 / 313
» Probability Theory on IF Events
Sort
View
WSC
2008
15 years 7 days 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»
14 years 9 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
15 years 11 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»
15 years 10 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
15 years 7 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