In this paper we present an inference procedure for the semantic segmentation of images. Different from many CRF approaches that rely on dependencies modeled with unary and …
X Liu, M Song, D Tao, J Bu… - IEEE Transactions on …, 2015 - ieeexplore.ieee.org
Recent advances in object detection have led to the development of segmentation by detection approaches that integrate top-down geometric priors for multiclass object …
A Cavalcanti, P Clayton - 11th IEEE International Conference …, 2006 - ieeexplore.ieee.org
The design of control systems is usually based on diagrammatic definitions of control laws. The independent use of Z and CSP to verify their implementations has been successful …