4962 search results - page 281 / 993 » Stochastic Model Checking |
140
click to vote
PEWASUN
2006
ACM
15 years 9 months ago
2006
ACM
Mobility, in its various forms, is one of the sources of several technical challenges being addressed in the last years to achieve a more flexible computing and communication inf...
150
click to vote
ECCV
2000
Springer
16 years 4 months ago
2000
Springer
A probabilistic method for tracking 3D articulated human figures in monocular image sequences is presented. Within a Bayesian framework, we define a generative model of image appea...
100
click to vote
ICML
2009
IEEE
16 years 3 months ago
2009
IEEE
We propose an unbounded-depth, hierarchical, Bayesian nonparametric model for discrete sequence data. This model can be estimated from a single training sequence, yet shares stati...
116
click to vote
SIGMETRICS
2005
ACM
15 years 8 months ago
2005
ACM
A generic stochastic model with only two input parameters is introduced to evaluate the message delay in mobile ad hoc networks (MANETs) where nodes may relay messages. The Laplac...
132
click to vote
ICCAD
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper solves the variation-aware on-chip decoupling capacitance (decap) budgeting problem. Unlike previous work assuming the worst-case current load, we develop a novel stocha...