819 search results - page 51 / 164 » Using Assumptions to Distribute CTL Model Checking |
108
Voted
SP
2006
IEEE
15 years 6 months ago
2006
IEEE
Security concerns are becoming increasingly critical in networked systems. Firewalls provide important defense for network security. However, misconfigurations in firewalls are ...
ICCAD
2004
IEEE
15 years 9 months ago
2004
IEEE
While process variations are becoming more significant with each new IC technology generation, they are often modeled via linear regression models so that the resulting performanc...
127
click to vote
ECCV
2000
Springer
16 years 2 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...
102
Voted
CVPR
2007
IEEE
15 years 7 months ago
2007
IEEE
We propose a framework for general multiple target tracking, where the input is a set of candidate regions in each frame, as obtained from a state of the art background learning, ...
112
Voted
NECO
2002
15 years 7 days ago
2002
In this work, we discuss practical methods for the assessment, comparison, and selection of complex hierarchical Bayesian models. A natural way to assess the goodness of the model...