Sciweavers

1024 search results - page 12 / 205
» Compositional Methods for Probabilistic Systems
Sort
View
CEC
2009
IEEE
15 years 6 months ago
A novel EDAs based method for HP model protein folding
— 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...
Benhui Chen, Long Li, Jinglu Hu
CVPR
1999
IEEE
16 years 3 months ago
Yet another Method for Pose Estimation: A Probabilistic Approach using Points, Lines, and Cylinders
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...
Robert Hanek, Nassir Navab, Mirko Appel
FORMATS
2006
Springer
15 years 4 months ago
On Timed Simulation Relations for Hybrid Systems and Compositionality
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...
Goran Frehse
64
Voted
FORMATS
2007
Springer
15 years 7 months ago
Abstraction of Probabilistic Systems
Joost-Pieter Katoen
CAV
2005
Springer
99views Hardware» more  CAV 2005»
15 years 6 months ago
Probabilistic Verification for "Black-Box" Systems
Håkan L. S. Younes