Consider a decision support system for capital asset acquisitions (Wallingford and Sticklen 1985). The system helps users decide whether to purchase an asset or lease it from another company. Each of these alternatives leads to more specific decisions, such as whether to structure a leasing arrangement as a direct lease, a leveraged lease, or a conditional sale. All of these decisions depend on...

Business process model matching is concerned with the detection of similarities in business process models. To support the progress of process model matching techniques, efficient evaluation strategies are required. State-of-the-art evaluation techniques provide a grading of the evaluated matching techniques. However, they only offer limited information about strength and weaknesses of the indi...

We consider a naive, quadratic string matcher testing whether a pattern occurs in a text; we equip it with a cache mediating its access to the text; and we abstract the traversal policy of the pattern, the cache, and the text. We then specialize this abstracted program with respect to a pattern, using the off-the-shelf partial evaluator Similix. Instantiating the abstracted program with a left-...

Packet classification methods rely upon matching packet content/header against pre-defined rules, which are generated by network applications and their configurations. With the rapid development of technology fast-growing applications, users seek more enhanced, secure, diverse services. Hence it becomes critical to improve performance arbitrary operations. This article presents SIMD-Matcher, an...

Distribution matching transforms independent and Bernoulli(1/2) distributed input bits into a sequence of output symbols with a desired distribution PA. Fixed-to-fixed length, invertible encoders and decoders based on shell mapping are presented. The matcher minimizes the informational divergence for a large class of distributions including the Maxwell-Boltzmann and geometric distributions. Fin...

State-of-the-art multilingual ontology matchers use machine translation to reduce the problem to the monolingual case. We investigate an alternative, self-contained solution based on semantic matching where labels are parsed by multilingual natural language processing and then matched using a language-independent knowledge base acting as an interlingua. As the method relies on the availability ...

Most fingerprint matching systems rely on the distribution of minutiae on the fingertip to represent and match fingerprints. While the ridge flow pattern is generally used for classifying fingerprints, it is seldom used for matching. This paper describes a hybrid fingerprint matching scheme that uses both minutiae and ridge flow information to represent and match fingerprints. A set of 8 Gabor ...

In this report we study and try to minimize the total execution time of a Profile Matching protocol, a secure computations protocol based on an operation called conditional gate. We focus on reducing the complexities and study the interplay between them, mainly the round, communication, computational, space and random complexities. We propose several optimizations and study their effect , both ...