1024 search results - page 12 / 205 » Compositional Methods for Probabilistic Systems |
CEC
2009
IEEE
14 years 11 days ago
2009
IEEE
— The protein structure prediction (PSP) problem is one of the most important problems in computational biology. This paper proposes a novel Estimation of Distribution Algorithms...
CVPR
1999
IEEE
14 years 9 months ago
1999
IEEE
In this work, we use points, lines, and the linear extremal contours of cylinders to estimate the position and orientation of the camera in the world coordinate system. Other line...
FORMATS
2006
Springer
13 years 11 months ago
2006
Springer
Timed and weak timed simulation relations are often used to show that operations on hybrid systems result in equivalent behavior or in conservative overapproximations. Given that s...
FORMATS
2007
Springer
14 years 1 months ago
2007
Springer
CAV
2005
Springer
14 years 1 months ago
2005
Springer