529 search results - page 8 / 106 » Property Directed Abstract Interpretation |
ECCV
2002
Springer
14 years 9 months ago
2002
Springer
We describe an automatic method for building optimal 3D statistical shape models from sets of training shapes. Although shape models show considerable promise as a basis for segmen...
JURIX
2008
13 years 9 months ago
2008
Abstract. In the AVERs sense-making tool for crime analysis different types of information are represented in different ways. More precisely, narrative knowledge is represented in ...
ACCV
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper proposes a fast method for dense 3-D interpretation to directly estimate a dense map of relative depth and motion from a monocular sequence of images on large ...
IFIP
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. We introduce a calculus with mobile names, distributed principals and primitives for secure remote communication, without any reference to explicit cryptography. The calc...
EUSFLAT
2009
13 years 5 months ago
2009
Abstract-- Interpretability is one of the most significant properties of Fuzzy Systems which are widely acknowledged as gray boxes against other Soft Computing techniques such as N...