Sciweavers

3664 search results - page 390 / 733
» Language Technology for eLearning
Sort
View
151
Voted
SEMWEB
2004
Springer
15 years 10 months ago
Using Vampire to Reason with OWL
OWL DL corresponds to a Description Logic (DL) that is a fragment of classical first-order predicate logic (FOL). Therefore, the standard methods of automated reasoning for full F...
Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer...
125
Voted
ICEIS
2003
IEEE
15 years 10 months ago
Code Generation for Distributed Systems
d graphically, interest in code generators which create applications based on abstract system descriptions, is high. An indicator for this are the many commercial products. This pa...
Markus Aleksy, Ralf Gitzel
SIGIR
2003
ACM
15 years 10 months ago
The MIND Architecture for Heterogeneous Multimedia Federated Digital Libraries
Abstract. In this paper we describe the architecture of the MIND system for federating multimedia digital libraries. MIND integrates heterogeneous, multimedia non-co-operating digi...
Henrik Nottelmann, Norbert Fuhr
CAISE
2003
Springer
15 years 10 months ago
User Roles in Document Analysis
In a modern business process, documents are important carriers of information between organisations. Document management solutions are increasingly based on structured document for...
Pasi Tiitinen
CLEF
2003
Springer
15 years 10 months ago
Multilingual Retrieval Experiments with MIMOR at the University of Hildesheim
Fusion and optimization based on relevance judgements have proven to be successful strategies in information retrieval. In this year's CLEF campaign we applied these strategi...
René Hackl, Ralph Kölle, Thomas Mandl,...