4276 search results - page 10 / 856 » Techniques for Empirical Validation |
URBAN
2008
13 years 7 months ago
2008
The widespread availability of powerful geocoding tools in commercial GIS software and the interest in spatial analysis at the individual level have made address geocoding a widel...
CCS
2006
ACM
13 years 11 months ago
2006
ACM
Attackers often try to evade an intrusion detection system (IDS) when launching their attacks. There have been several published studies in evasion attacks, some with available to...
FTCS
1998
13 years 9 months ago
1998
The traditional use of formal methods has been for the veri cation of algorithms or protocols. Given the high cost and limitations in state space coverage provided by conventional...
BILDMED
2007
13 years 9 months ago
2007
Non-physical techniques for elastic image registration such as different spline-based optimization methods are often applied in biomedical applications for image normalization w.r...
ICIP
2009
IEEE
14 years 8 months ago
2009
IEEE
In this paper, we aim to provide the further evaluation on the recently proposed visualization technique known as Virtual Fly-Over for virtual colonoscopy by using clinical CT col...