2687 search results - page 469 / 538 » Formal Analysis of PKCS |
144
Voted
FINTAL
2006
15 years 9 months ago
2006
This paper addresses a problem of natural language text alignment, from a humanities discipline called textual genetic criticism where different text versions must be compared. The...
193
click to vote
CODES
2001
IEEE
15 years 9 months ago
2001
IEEE
We present a new design environment, called System Canvas, targeted at DSP and telecommunication system designs. Our environment uses an easy-to-use block-diagram syntax to specif...
273
click to vote
MICCAI
2000
Springer
15 years 9 months ago
2000
Springer
This paper is focused on the use of the level set formalism to segment anatomical structures in 3D images (ultrasound ou magnetic resonance images). A closed 3D surface propagates...
170
click to vote
ICCV
1995
IEEE
15 years 9 months ago
1995
IEEE
We present a novel motion-based approach for the part determination and shape estimation of a human’s body parts. The novelty of the technique is that neither a prior model of t...
138
click to vote
ICDT
1995
ACM
15 years 9 months ago
1995
ACM
Partial information in databases can arise when information from several databases is combined. Even if each database is complete for some \world", the combined databases wil...