6757 search results - page 696 / 1352 » Knowledge Analysis on Process Models |
235
click to vote
JALC
2006
15 years 7 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
214
click to vote
MIAR
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract. Surface-based morphometry (SBM) is widely used in biomedical imaging and other domains to localize shape changes related to different conditions. This paper presents a co...
228
click to vote
MICCAI
2010
Springer
15 years 5 months ago
2010
Springer
The paper proposes a new shape morphometry approach to combine advanced classification techniques with geometric features in order to identify morphological abnormalities on brain...
292
click to vote
ACMIDC
2011
14 years 10 months ago
2011
Explicitly examining the values held by a research community provides a tool in which participants can define its culture, conduct informed research, and reflect on their design p...
247
click to vote
WACV
2012
IEEE
14 years 2 months ago
2012
IEEE
A convenient way of analysing Riemannian manifolds is to embed them in Euclidean spaces, with the embedding typically obtained by flattening the manifold via tangent spaces. This...