569 search results - page 7 / 114 » High Performance Reasoning with Very Large Knowledge Bases |
83
Voted
ISMIR
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents a system that extracts 109 musical features from symbolic recordings (MIDI, in this case) and uses them to classify the recordings by genre. The features used ...
189
click to vote
ICS
2001
Tsinghua U.
15 years 2 months ago
2001
Tsinghua U.
For most parallel and high performance systems, tuning guides provide the users with advices to optimize the execution time of their programs. Execution time may be very sensitive...
OTM
2007
Springer
15 years 3 months ago
2007
Springer
In the last years, there has been an increasing interest in the performance of reasoning on the Semantic Web in presence of large ABoxes. Traditional reasoners make heavily use of ...
CADE
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. Tableau calculi are the state-of-the-art for reasoning in description logics (DL). Despite recent improvements, tableau-based reasoners still cannot process certain knowl...
AAAI
2008
14 years 12 months ago
2008
We present a new algorithm for reasoning in the description logic SHIQ, which is the most prominent fragment of the Web Ontology Language OWL. The algorithm is based on ordered bi...