4555 search results - page 177 / 911 » Deductive Algorithmic Knowledge |
194
click to vote
JCDL
2006
ACM
16 years 6 days ago
2006
ACM
Citation matching, or the automatic grouping of bibliographic references that refer to the same document, is a data management problem faced by automatic digital libraries for sci...
199
click to vote
CAV
2000
Springer
15 years 10 months ago
2000
Springer
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...
137
click to vote
CBMS
2007
IEEE
16 years 18 days ago
2007
IEEE
There are several domains, such as health-care, in which the decision process usually has a background knowledge that must be considered. We need to maximize the accuracy of the m...
164
click to vote
DAARC
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. We present a knowledge-rich approach to Japanese coreference resolution. In Japanese, proper noun coreference and common noun coreference occupy a central position in cor...
154
click to vote
SEMWEB
2007
Springer
16 years 11 days ago
2007
Springer
This paper shows how a Fuzzy Ontology based approach can improve semantic documents retrieval. After formally defining a Fuzzy Knowledge Base, it is discussed a special type of ne...