2989 search results - page 512 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
126
Voted
ACMICEC
2008
ACM
15 years 4 months ago
2008
ACM
In this paper, we studied the semantic consistency maintenance issue between heterogeneous contexts, that is, how a firm business process of one e-marketplace can be transformed t...
130
click to vote
AAAI
2012
13 years 4 months ago
2012
To solve the sparsity problem in collaborative filtering, researchers have introduced transfer learning as a viable approach to make use of auxiliary data. Most previous transfer...
117
Voted
CAV
2009
Springer
16 years 2 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
126
Voted
WWW
2010
ACM
15 years 9 months ago
2010
ACM
Detecting clusters or communities in large real-world graphs such as large social or information networks is a problem of considerable interest. In practice, one typically chooses...
110
click to vote
WWW
2009
ACM
15 years 9 months ago
2009
ACM
We consider the problem of template-independent news extraction. The state-of-the-art news extraction method is based on template-level wrapper induction, which has two serious li...