2661 search results - page 336 / 533 » Model Checking Performability Properties |
IMSCCS
2007
IEEE
14 years 5 months ago
2007
IEEE
In order to investigate the behavior of the solvation, particularly, to quantify the solvent effects on the properties of solutes on a molecular basis, several simulation approach...
CVPR
2003
IEEE
15 years 23 days ago
2003
IEEE
This paper presents a method to perform 2D deformable object tracking using the boundary element method (BEM). BEM, like the finite element method (FEM), is a technique to model a...
CORR
2006
Springer
13 years 10 months ago
2006
Springer
Consider the problem of joint parameter estimation and prediction in a Markov random field: i.e., the model parameters are estimated on the basis of an initial set of data, and th...
AAAI
2007
14 years 1 months ago
2007
In this paper, we consider the problem of composing a set of web services, where the requirements are specified in terms of the input and output messages of the composite workfl...
CVPR
2003
IEEE
15 years 23 days ago
2003
IEEE
This paper presents a generative model based approach to man-made structure detection in 2D natural images. The proposed approach uses a causal multiscale random field suggested i...