Partial version presented at Workshop for Static Analysis (Bor-deaux France) october 1992. Abstract Symbolic pattern matching as ooered by Lisp dialects allows to scan Sexpressions, to verify their shape and to extract or compare subparts of them. A rich set of patterns exists and among them alternate patterns. Such patterns are handled through backtrack: a failure forces the pattern matcher to...

The design of analogue low power VLSI building block is very important for implantable devices, like cochlear implants and implantable cardioverter deebril-lators(ICD). In this paper we describe the micropower analogue building blocks for implementing the template matcher used for intracardiac electrogram (ICEG) clas-siication and data compression in an ICD. These blocks were fabricated using O...

Identity management describes a problem by providing the authorized owners with safe and simple access to information solutions for specific identification processes. The shortcomings of unimodal systems have been addressed introduction multimodal biometric systems. use has increased system’s overall recognition rate. A new degree fusion, known as an intelligent Dual Multimodal Biometric Authen...

CroMatcher is an ontology matching system based on parallel composition of basic ontology matchers. There are two fundamental parts of the system: first, automated weighted aggregation of correspondences produced by different basic matchers in the parallel composition; second, an iterative final alignment method. This is the second time CroMatcher has been involved in the OAEI campaign. Basic i...

Many readers will find the title of this book misleading – at least, at first sight. This is because ‘network’ is a heavily overloaded term used to denote relational data in so vast a number of applications that it is far from surprising that ‘network analysis’ means different things to different people. To name but a few examples, ‘network analysis’ is carried out in areas such as project plan...

A stereo-matcher is required to form part of an active vision system currently under construction. Previous approaches to accomplishing the task of computing binocular disparity quickly have included the use of dedicated hardware and a tradeo of speed against pixel resolution. A software-based stereo-matcher is reported which produces results quickly whilst retaining sub-pixel accuracy. The pro...

We introduce the notion of a perfect process tree as a model for the full propagation of information in metacomputation. Starting with constant propagation we construct step-by-step the driving mechanism used in supercompila tion which ensures the perfect propagation of information. The concept of a simple supercompiler based on perfect driving coupled with a simple folding strategy is explaine...

This paper presents a new biometric score fusion approach in an identification system using the upper integral with respect to Sugeno’s fuzzy measure. First, the proposed method considers each individual matcher as a fuzzy set in order to handle uncertainty and imperfection in matching scores. Then, the corresponding fuzzy entropy estimates the reliability of the information provided by each bi...