757 search results - page 47 / 152 » Monte Carlo Model Checking |
TOSN
2011
13 years 5 months ago
2011
A stochastic model is formulated and analyzed to study the advancements of messages under greedy routing in a sensor network with a power-saving scheme. The aim of this model is g...
ICS
1998
Tsinghua U.
14 years 2 months ago
1998
Tsinghua U.
Parallel computers are now commonly used for computational science and engineering, and many applications in these areas use random number generators. For some applications, such ...
JSAC
2010
13 years 8 months ago
2010
Abstract—In high density perpendicular magnetic recording channels, nonlinear transition shift (NLTS) is one of the distortions that can degrade the system performance. Write pre...
TCAD
2010
13 years 4 months ago
2010
PSP and the backward propagation of variance (BPV) method are used to characterize the statistical variations of metal-oxide-semiconductor field effect transistors (MOSFETs). BPV s...
CVPR
2005
IEEE
15 years 4 days ago
2005
IEEE
We propose a model-based tracking method, called appearance-guided particle filtering (AGPF), which integrates both sequential motion transition information and appearance informa...