3984 search results - page 298 / 797 » A Model-Driven Transformation Method |
122
click to vote
TITB
2010
14 years 11 months ago
2010
Four time-frequency and time-scale methods are studied for their ability of detecting myoclonic seizures from accelerometric data. Methods that are used are: the short-time Fourier...
175
click to vote
EFORENSICS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This article describes techniques of vocal forgery able to affect automatic speaker recognition system in a forensic context. Vocal forgery covers two main aspects: voice...
185
click to vote
ACL2
2006
ACM
15 years 11 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
143
click to vote
CVPR
2006
IEEE
16 years 7 months ago
2006
IEEE
In this paper, we address the problem of 3D volume reconstruction from depth adjacent subvolumes (i.e., sets of image frames) acquired using a confocal laser scanning microscope (...
143
Voted
IPMI
2001
Springer
16 years 5 months ago
2001
Springer
Landmark-based thin-plate spline image registration is one of the most commonly used methods for non-rigid medical image registration and anatomical shape analysis. It is well know...