77016 search results - page 34 / 15404 » Modeling |
CAV
2005
Springer
14 years 1 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
DSS
2006
13 years 7 months ago
2006
Due to the sensitive data contained in Data Warehouses (DW), it is essential to specify security measures from the early stages of the DW design and enforce them. Traditional acce...
ICIP
2002
IEEE
14 years 9 months ago
2002
IEEE
A canonical model is proposed for object classes in aerial images. This model is motivated by the observation that geographic regions of interest are characterized by collections ...
ICIP
2001
IEEE
14 years 9 months ago
2001
IEEE
The HMM (Hidden Markov Model) is a probabilistic model of the joint probability of a collection of random variables with both observations and states. The GMM (Gaussian Mixture Mo...
ICML
2008
IEEE
14 years 8 months ago
2008
IEEE
Causal analysis of continuous-valued variables typically uses either autoregressive models or linear Gaussian Bayesian networks with instantaneous effects. Estimation of Gaussian ...