430 search results - page 21 / 86 » Simulation from non-standard distributions using envelope me... |
PODC
1999
ACM
14 years 6 days ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
DICTA
2003
13 years 9 months ago
2003
In this paper, we propose a robust method to estimate the fundamental matrix in the presence of outliers. The new method uses random minimum subsets as a search engine to find inli...
IPPS
1999
IEEE
14 years 5 days ago
1999
IEEE
Simulations of particles in fluid flows are of great interest to numerous industries using sedimentation, fluidization, lubricated transport, and hydraulic fracturing of hydrocarb...
WINET
2010
13 years 6 months ago
2010
We consider the problem of static transmission-power assignment for lifetime maximization of a wireless sensor network with stationary nodes operating in a data-gathering scenario...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
When large amount of statistical information about power system component failure rate is available, statistical parametric models can be developed for predictive maintenance. Oft...