4636 search results - page 537 / 928 » Modelling and Validation with VipTool |
206
click to vote
ACCV
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. In this paper we give a new model for foreground-background-shadow separation. Our method extracts the faithful silhouettes of foreground objects even if they have partly...
204
click to vote
ADBIS
2006
Springer
16 years 1 months ago
2006
Springer
XML is suitable for structuring complex data coming from different sources and supported by heterogeneous formats. It allows a flexible formalism capable to represent and store d...
199
click to vote
MM
2006
ACM
16 years 1 months ago
2006
ACM
We have developed a biologically-motivated, unsupervised way of grouping together images whose salient regions of interest (ROIs) are perceptually similar regardless of the visual...
183
click to vote
CSFW
2005
IEEE
16 years 25 days ago
2005
IEEE
We study an automatic technique for the verification of cryptographic protocols based on a Horn clause model of the protocol. This technique yields proofs valid for an unbounded ...
188
click to vote
ICCV
2005
IEEE
16 years 25 days ago
2005
IEEE
In this study we present a Y-feature extraction method for registering color and fluorescein angiograms of the retina. The registration of multimodal fluorescein imagery requires ...