2748 search results - page 235 / 550 » Generating Object-Z Specifications from Use Cases |
119
Voted
TSMC
2010
2010
Cancelable Templates for Sequence-Based Biometrics with Application to On-line Signature Recognition
14 years 7 months ago
Recent years have seen the rapid spread of biometric technologies for automatic people recognition. However, security and privacy issues still represent the main obstacles for the ...
RIAO
2000
15 years 2 months ago
2000
Hierarchies have been used for organization, summarization, and access to information, yet a lingering issue is how best to construct them. In this paper, our goal is to automatic...
104
click to vote
TACAS
2010
Springer
15 years 8 months ago
2010
Springer
We address the problem of computing the information leakage of a system in an efficient way. We propose two methods: one based on reducing the problem to reachability, and the oth...
102
click to vote
MICCAI
2002
Springer
16 years 1 months ago
2002
Springer
We propose a novel method for fully automated segmentation and tracking of the myocardium and left and right ventricles (LV and RV) using 4D MR images. The method uses non-rigid re...
111
click to vote
COMBINATORICS
2002
15 years 24 days ago
2002
In a previous work [26], by considering paths that are partially weighted, the generating function of Dyck paths was shown to possess a type of symmetry, called an exchange relati...