969 search results - page 3 / 194 » Generalized matching from theory to application |
BIOSIG
2003
13 years 7 months ago
2003
: A new biometric system is proposed which replaces the template match known from presently used biometric systems by a more powerful approach that uses error tolerant coding. This...
PLILP
1998
Springer
13 years 10 months ago
1998
Springer
Abstract. We address the problem of term normalisation modulo associativecommutative (AC) theories, and describe several techniques for compiling many-to-one AC matching and reduce...
FMCAD
2009
Springer
13 years 9 months ago
2009
Springer
Abstract--The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic array theory was introduced by McCarthy and allow...
EOR
2006
13 years 5 months ago
2006
This paper describes a framework for analysing matches in multiple data sets. The framework described is quite general and can be applied to a variety of problems where matches ar...
VCBM
2010
13 years 14 days ago
2010
We present the latest developments in modeling 3D biomedical data via the Medial Scaffold (MS), a 3D acyclic oriented graph representation of the Medial Axis (MA) [LK07, SP08]. Th...