The validity of applying paraphrase rules depends on the domain of the text that they are being applied to. We develop a novel method for extracting domainspecific paraphrases. We adapt the bilingual pivoting paraphrase method to bias the training data to be more like our target domain of biology. Our best model results in higher precision while retaining complete recall, giving a 10% relative ...

A brief introduction to acronyms is given and motivation for extracting them in a digital library environment is discussed. A technique for extracting acronyms is given with an analysis of the results. The technique is found to have a low number of false negatives and a high number of false positives.

This paper describes a method for extracting hyponyms from free text. In particular it explores two main matters. On the one hand, the possibility of reaching favorable results using only lexical extraction patterns. On the other hand, the usefulness of measuring the instance’s confidences based on the pattern’s confidences, and vice versa. Experimental results are encouraging because they show...

Thinning is a frequently used method for extracting skeletons in discrete spaces. This paper presents an efficient parallel Ž thinning algorithm that directly extracts medial lines from elongated 3D binary objects i.e., without creating medial . surface . Our algorithm provides good results, preserves topology and it is easy to implement. q 1998 Elsevier Science B.V. All rights reserved.

We use experimental information on D– d K*”p– and B ~ + + K“, coupled with flavor independence of QCD, and with vector meson dominance to show that long distance contributions to B + p+ T, especially to B– ~ p– + ~, are potentially very serious. Estimates based on the annihilation graph are shown to lead to similar conclusions. different in B~ p+ T and We emph=ize that long-distance (LD) contri...

Two kinds of paraphrases extracted from a bilingual parallel corpus were analyzed. One is from an adjectival predicate sentence to a non-adjectival one. The other is from a passive form to a non-passive form. The ability to extract paraphrases is strongly desired for paraphrasing studies. Although extracting paraphrases from multi-lingual parallel corpora is possible, the type of paraphrases ex...

Fast, accurate, and scalable search techniques for homology searching of large genomic collections are becoming an increasingly important requirement large genomic collections are becoming an increasingly important requirement as genomic sequence collections continue to double in size almost yearly. Almost all homology search techniques rely on extracting fixed-length overlapping sequences from...

Minimally unsatisfiable subformulas (in short, MUSes) represent the smallest explanations for the inconsistency of SAT instances in terms of the number of involved clauses. Extracting MUSes can thus prove valuable because it circumscribes the sources of contradiction in an instance. In this paper, a new heuristic-based approach to approximate or compute MUSes is presented. It is shown that it o...

In this work we develop a novel SAT-based verification approach which is based on interpolation. The novelty of our approach is in extracting interpolants in both forward and backward manner and exploiting them for an intertwined approximated forward and backward reachability analysis. Our approach is also mostly local and avoids unrolling of the checked model as much as possible. This results ...

Extracting karyocytes and their components from microscopic bone marrow images is prerequisite for computer-aided early diagnosis of hemopathy. Most existing methods assume all pixels belonging to a karyon region or a cytoplasm region have similar colors. Practically, the color of neither a karyon nor a cytoplasm in a microscopic image is homogeneous in the pixel level. Therefore, the regional ...