Sciweavers

914 search results - page 115 / 183
» Mean Shift Analysis and Applications
Sort
View
ICHIM
2001
65views more  ICHIM 2001»
13 years 11 months ago
Dating and Authentication of Rembrandt's Etchings with the Help of Computational Intelligence
In this paper it is studied how the analysis of the structure of the paper of Rembrandt's etchings can help determining the authenticity of the etchings and the dates of the ...
Jan C. A. van der Lubbe, Eugene P. van Someren, Ma...
ISICT
2003
13 years 11 months ago
On the automated implementation of modal logics used to verify security protocols
: Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...
Tom Coffey, Reiner Dojen, Tomas Flanagan
ICIP
2001
IEEE
14 years 11 months ago
Region-based approach for discriminant snakes
This paper proposes a statistic framework for segmenting textured areas over real images by discriminant snakes. Our active contour model has the ability to learn different textur...
Jordi Vitrià, Petia Radeva
CAIP
2007
Springer
190views Image Analysis» more  CAIP 2007»
14 years 4 months ago
Image Segmentation Based on Height Maps
Abstract. In this paper we introduce a new method for image segmentation. It is based on a height map generated from the input image. The height map characterizes the image content...
Gabriele Peters, Jochen Kerdels
ER
2007
Springer
106views Database» more  ER 2007»
14 years 4 months ago
Extending Argumentation to Goal-Oriented Requirements Engineering
A key goal in safety-critical system development is to provide assurance that the critical requirements are sufficiently addressed. This goal is typically refined into three sub-go...
Ibrahim Habli, Weihang Wu, Katrina Attwood, Tim Ke...