16513 search results - page 476 / 3303 » Numerical Analysis Methods |
177
Voted
IEEEICCI
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper a novel offline signature verification scheme has been proposed. The scheme is based on selecting 60 feature points from the geometric centre of the signature and co...
188
Voted
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
Most database query optimizers use cost models to identify good query execution plans. Inaccuracies in the cost models can cause query optimizers to select poor plans. In this pap...
172
Voted
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
186
Voted
IBPRIA
2007
Springer
16 years 1 months ago
2007
Springer
We present two new clustering algorithms for medical image segmentation based on the multimodal image registration and the information bottleneck method. In these algorithms, the h...
206
Voted
ASWEC
2005
IEEE
16 years 15 days ago
2005
IEEE
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...