3742 search results - page 345 / 749 » On the Use of Formal Techniques for Validation |
204
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
In this paper, an analysis of the efficiency of three signal-to-noise ratio (SNR) scalable strategies for motion compensated video coders and their non-scalable counterpart is pre...
187
Voted
MICCAI
2008
Springer
16 years 8 months ago
2008
Springer
Abstract. We propose a semi-supervised, kinetic modeling based segmentation technique for molecular imaging applications. It is an iterative, self-learning algorithm based on uncer...
229
click to vote
ICMLA
2009
16 years 3 months ago
2009
User authentication and intrusion detection differ from standard classification problems in that while we have data generated from legitimate users, impostor or intrusion data is s...
159
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Providing accurate image-guidance for soft-tissue interventions remains a complex task. Most of the time, preoperative models and planning data are no more valid during the surgic...
198
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Multi-hop relaying has attracted considerable attention recently as a key technique for improving cell coverage and throughput in wireless communication. We modelled va...