Sciweavers

391 search results - page 75 / 79
» als 2003
Sort
View
IJCAI
2003
13 years 8 months ago
Decidability of SHIQ with Complex Role Inclusion Axioms
Motivated by medical terminology applications, we investigate the decidability of the well known expressive DL, SHIQ, extended with role inclusion axioms (RIAs) of the form R ◦ ...
Ian Horrocks, Ulrike Sattler
IJCAI
2003
13 years 8 months ago
Temporal Reasoning with Preferences and Uncertainty
Temporal Constraint Satisfaction Problems allow for reasoning with events happening over time. Their expressiveness has been extended independently in two directions: to account f...
Neil Yorke-Smith, Kristen Brent Venable, Francesca...
IJCAI
2003
13 years 8 months ago
Integrating Background Knowledge Into Text Classification
We present a description of three different algorithms that use background knowledge to improve text classifiers. One uses the background knowledge as an index into the set of tra...
Sarah Zelikovitz, Haym Hirsh
MOBIS
2003
13 years 8 months ago
Methodenbewertung mittels Quality Function Deployment
Die verwendete Methode ist für die Ergebnisqualität einer Modellierung entscheidend. Dieser Beitrag wird ein Instrumentarium für eine allgemeine objektivierte Beurteilung von M...
Steffen Greiffenberg
SODA
2003
ACM
167views Algorithms» more  SODA 2003»
13 years 8 months ago
Counting inversions in lists
In a recent paper, Ajtai et al. [1] give a streaming algorithm to count the number of inversions in a stream Ä ¾ Ñ Ò using two passes and Ç´¯ ½ ÔÒÐÓ Ò´ÐÓ Ñ·ÐÓ...
Anupam Gupta, Francis Zane