Sciweavers

101 search results - page 16 / 21
» Subrecursive functions on partial sequences
Sort
View
IJCV
2006
266views more  IJCV 2006»
14 years 9 months ago
Kernel Density Estimation and Intrinsic Alignment for Shape Priors in Level Set Segmentation
In this paper, we make two contributions to the field of level set based image segmentation. Firstly, we propose shape dissimilarity measures on the space of level set functions wh...
Daniel Cremers, Stanley Osher, Stefano Soatto
JUCS
2006
131views more  JUCS 2006»
14 years 9 months ago
Verification of CRWL Programs with Rewriting Logic
Abstract: We present a novel approach to the verification of functional-logic programs. For our verification purposes, equational reasoning is not valid due to the presence of non-...
José Miguel Cleva, Isabel Pita
87
Voted
BMCBI
2005
119views more  BMCBI 2005»
14 years 9 months ago
The distance-profile representation and its application to detection of distantly related protein families
Background: Detecting homology between remotely related protein families is an important problem in computational biology since the biological properties of uncharacterized protei...
Chin-Jen Ku, Golan Yona
BMCBI
2005
116views more  BMCBI 2005»
14 years 9 months ago
A computational approach for identifying pathogenicity islands in prokaryotic genomes
Background: Pathogenicity islands (PAIs), distinct genomic segments of pathogens encoding virulence factors, represent a subgroup of genomic islands (GIs) that have been acquired ...
Sung Ho Yoon, Cheol-Goo Hur, Ho-Young Kang, Yeoun ...
ICIP
2009
IEEE
15 years 10 months ago
Secure Distortion Computation Among Untrusting Parties Using Homomorphic Encryption
Alice and Bob possess sequences xn and yn respectively and would like to compute d(xn , yn ) where d(., .) is a distortion measure. However, Alice and Bob do not trust each other ...