2268 search results - page 27 / 454 » Semantic Integration |
MKM
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of deļ¬nitions, which often use overloaded notation. For eļ...
APVIS
2006
13 years 11 months ago
2006
We have many application software today to support reading and writing respectively. However, we believe that few applications available today fully support both reading and writi...
AUSDM
2007
Springer
14 years 4 months ago
2007
Springer
To date, most association rule mining algorithms have assumed that the domains of items are either discrete or, in a limited number of cases, hierarchical, categorical or linear. ...
ESWS
2007
Springer
14 years 4 months ago
2007
Springer
While tags in collaborative tagging systems serve primarily an indexing purpose, facilitating search and navigation of resources, the use of the same tags by more than one individu...
NLPRS
2001
Springer
14 years 2 months ago
2001
Springer
This paper proposes a method to resolve Japanese zero pronouns by identifying their antecedents. Our method uses a probabilistic model, which is decomposed into syntactic and sema...