948 search results - page 94 / 190 » The Query Answering System PRODICOS |
JELIA
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. One of the maincharacteristics of logical reasoning in knowledge based systems is its high computational complexity. Anytime deduction and anytime compilation are two att...
IEAAIE
2011
Springer
13 years 1 months ago
2011
Springer
Domain specific terminologies represent important concepts when students study a subject. If the sentences which describe important concepts related to a terminology can be accesse...
DEXAW
2005
IEEE
14 years 3 months ago
2005
IEEE
We present the first prototype of INDUS (Intelligent Data Understanding System), a federated, query-centric system for information integration and knowledge acquisition from dist...
CAV
2005
Springer
14 years 3 months ago
2005
Springer
This paper presents a toolset for model checking x86 executables. The members of the toolset are CodeSurfer/x86, WPDS++, and the Path Inspector. CodeSurfer/x86 is used to extract a...
LREC
2010
13 years 11 months ago
2010
After several years of development, the vision of the Semantic Web is gradually becoming reality. Large data repositories have been created and offer semantic information in a mac...