3225 search results - page 103 / 645 » Compiling Experience into Knowledge |
131
click to vote
AMAI
2006
Springer
15 years 3 months ago
2006
Springer
This paper proposes a formalization in COQ of common knowledge logic and checks its adequacy on case studies. This exercise allows exploring experimentally the proof-theoretic sid...
116
click to vote
EMNLP
2009
15 years 21 days ago
2009
It is well known that pragmatic knowledge is useful and necessary in many difficult language processing tasks, but because this knowledge is difficult to acquire and process autom...
105
click to vote
SPAA
2009
ACM
16 years 2 days ago
2009
ACM
In this paper, we identify transaction-local memory as a major source of overhead from compiler instrumentation in software transactional memory (STM). Transaction-local memory is...
118
click to vote
IV
2006
IEEE
15 years 9 months ago
2006
IEEE
Current database technologies do not support contextualised representations of multi-dimensional narratives. This paper outlines a new approach to this problem using a multi-dimen...
SEMWEB
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper, we present an evaluation of four knowledge base systems (KBS) with respect to use in large OWL applications. To our knowledge, no experiment has been done ...