Sciweavers

974 search results - page 10 / 195
» pairing 2010
Sort
View
CSL
2010
Springer
13 years 7 months ago
Signature Extensions Preserve Termination - An Alternative Proof via Dependency Pairs
Abstract. We give the first mechanized proof of the fact that for showing termination of a term rewrite system, we may restrict to well-formed terms using just the function symbols...
Christian Sternagel, René Thiemann
COLING
2010
13 years 2 months ago
Improved Discriminative ITG Alignment using Hierarchical Phrase Pairs and Semi-supervised Training
While ITG has many desirable properties for word alignment, it still suffers from the limitation of one-to-one matching. While existing approaches relax this limitation using phra...
Shujie Liu, Chi-Ho Li, Ming Zhou
APWEB
2010
Springer
13 years 11 months ago
An Incremental Prefix Filtering Approach for the All Pairs Similarity Search Problem
Given a set of records, a threshold value t and a similarity function, we investigate the problem of finding all pairs of records such that similarity between each pair is above t....
Hoang Thanh Lam, Dinh Viet Dung, Raffaele Perego, ...
CORR
2010
Springer
83views Education» more  CORR 2010»
13 years 6 months ago
Flat Zipper-Unfolding Pairs for Platonic Solids
We show that four of the five Platonic solids’ surfaces may be cut open with a Hamiltonian path along edges and unfolded to a polygonal net each of which can “zipper-refold...
Joseph O'Rourke
LREC
2010
159views Education» more  LREC 2010»
13 years 9 months ago
Bilingual Lexicon Induction: Effortless Evaluation of Word Alignment Tools and Production of Resources for Improbable Language P
In this paper, we present a simple protocol to evaluate word aligners on bilingual lexicon induction tasks from parallel corpora. Rather than resorting to gold standards, it relie...
Adrien Lardilleux, Julien Gosme, Yves Lepage