Sciweavers

3719 search results - page 235 / 744
» RACER System Description
Sort
View
INLG
2010
Springer
15 years 3 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
CADE
2006
Springer
16 years 6 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...
ICFEM
1998
Springer
15 years 10 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
CDC
2010
IEEE
145views Control Systems» more  CDC 2010»
15 years 1 months ago
Multivariable frequency domain identification using IV-based linear regression
Abstract-- Identification of output error models from frequency domain data generally results in a non-convex optimization problem. A well-known method to approach the output error...
Rogier S. Blom, Paul M. J. Van den Hof
CSCW
2011
ACM
15 years 1 months ago
Towards quality discourse in online news comments
With the growth in sociality and interaction around online news media, news sites are increasingly becoming places for communities to discuss and address common issues spurred by ...
Nicholas Diakopoulos, Mor Naaman