3719 search results - page 173 / 744 » RACER System Description |
189
click to vote
COSIT
1999
Springer
15 years 10 months ago
1999
Springer
We extend the theory about terminological default reasoning by using a logical base language that can represent spatioterminological phenomena. Based on this description logic lang...
192
click to vote
IUI
1993
ACM
15 years 10 months ago
1993
ACM
Action mode interfaces, in which the user achieves his goals by manipulating representations, suffer from some fundamental disadvantages. In this paper, we present a working proto...
167
click to vote
EVOW
2006
Springer
15 years 10 months ago
2006
Springer
Synthesising timbres and changes to timbres from natural language descriptions is an interesting challenge for computer music. This paper describes the current state of an ongoing ...
189
click to vote
AAAI
2008
15 years 8 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...
148
click to vote
WICSA
2001
15 years 7 months ago
2001
Software development is a constant endeavor to optimize qualities like performance and robustness while ensuring functional correctness. Architecture Description Languages (ADLs) ...