17770 search results - page 3195 / 3554 » A Generalization of Forward-Backward Algorithm |
143
click to vote
OOPSLA
2010
Springer
15 years 3 months ago
2010
Springer
Programming forums are becoming the primary tools for programmers to find answers for their programming problems. Our empirical study of popular programming forums shows that the...
164
click to vote
PAMI
2010
15 years 3 months ago
2010
—Representative surface reconstruction algorithms taking a gradient field as input enforces the integrability constraint in a discrete manner. While enforcing integrability allo...
162
click to vote
PPDP
2010
Springer
15 years 3 months ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...
182
click to vote
PPDP
2010
Springer
15 years 3 months ago
2010
Springer
This paperdescribes the use of a powerful graph query language for querying programs, and a novel combination of transformations for generating efficient implementations of the q...
109
click to vote
PVLDB
2010
15 years 3 months ago
2010
Entity Resolution (ER) is the process of identifying groups of records that refer to the same real-world entity. Various measures (e.g., pairwise F1, cluster F1) have been used fo...