3018 search results - page 384 / 604 » Linguistic Knowledge Generator |
188
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
We have developed a transaction-based approach to distributed shared memory(DSM) that supports object caching and generates path expression prefetches. A path expression specifies...
180
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
193
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
We present a novel reasoning calculus for Description Logics (DLs)--knowledge representation formalisms with applications in areas such as the Semantic Web. In order to reduce the ...
164
click to vote
OSDI
2006
ACM
16 years 6 months ago
2006
ACM
We present the notion of a type-safe disk (TSD). Unlike a traditional disk system, a TSD is aware of the pointer relationships between disk blocks that are imposed by higher layer...
152
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
In this paper, we present a general architecture and a new retrieval method for an educational system that is based on a knowledge base of existing recorded lectures. The extracti...