7434 search results - page 365 / 1487 » Still |
150
click to vote
DLOG
2004
15 years 8 months ago
2004
We show how a tableaux algorithm for SHIQ can be extended to support role boxes that include range and domain axioms, prove that the extended algorithm is still a decision procedur...
143
click to vote
ECIS
2004
15 years 8 months ago
2004
The use of network arrangement in the development and implementation of e-government service portals is on its increase. Yet, research on network arrangement in sourcing service p...
168
click to vote
EMNLP
2004
15 years 8 months ago
2004
Paraphrase recognition is a critical step for natural language interpretation. Accordingly, many NLP applications would benefit from high coverage knowledge bases of paraphrases. ...
164
click to vote
ESANN
2004
15 years 8 months ago
2004
The role of dendritic spines in neuronal information processing is still not completely clear. However, it is known that spines can change shape rapidly during development and duri...
168
click to vote
DLOG
2006
15 years 8 months ago
2006
A variety of fuzzy description logics are proposed to extend classical description logics with fuzzy capability. However, reasoning with general TBoxes is still an open problem in...