Sciweavers

3706 search results - page 221 / 742
» System Description: E-KRHyper
Sort
View
ECSCW
1993
15 years 2 months ago
TOSCA Providing organisational information to CSCW applications
: Most cooperation support systems require information about the organisational context in which they are used. This is particularly required when systems are used in a large organ...
Wolfgang Prinz
INLG
2010
Springer
14 years 10 months ago
The GREC Challenges 2010: Overview and Evaluation Results
There were three GREC Tasks at Generation Challenges 2010: GREC-NER required participating systems to identify all people references in texts; for GRECNEG, systems selected corefe...
Anja Belz, Eric Kow
115
Voted
CADE
2006
Springer
16 years 1 months ago
CEL - A Polynomial-Time Reasoner for Life Science Ontologies
CEL (Classifier for EL) is a reasoner for the small description logic EL+ which can be used to compute the subsumption hierarchy induced by EL+ ontologies. The most distinguishing ...
Franz Baader, Carsten Lutz, Boontawee Suntisrivara...
93
Voted
ICFEM
1998
Springer
15 years 4 months ago
Interaction Interfaces - Towards a Scientific Foundation of a Methodological Usage of Message Sequence Charts
We introduce the formal notion of an interaction interface. Its purpose is to specify formally the interaction between two or more components that co-operate as subsystems of a di...
Manfred Broy, Ingolf Krüger
DLOG
2003
15 years 2 months ago
Incremental Query Answering for Implementing Document Retrieval Services
Agent systems that search the Semantic Web are seen as killer applications for description logic (DL) inference engines. The guiding examples for the Semantic Web involve informat...
Volker Haarslev, Ralf Möller