Sciweavers

2722 search results - page 250 / 545
» Automating Language Evolution
Sort
View
NDQA
2003
100views Education» more  NDQA 2003»
15 years 6 months ago
AQUA: An Ontology-Driven Question Answering System
The use of the web has become popular and also the need of services that could exploit the vast amount of information in it. Therefore, there is a need for automated question answ...
Maria Vargas-Vera, Enrico Motta, John Domingue
AAAI
1998
15 years 6 months ago
Towards Text Knowledge Engineering
We introduce a methodology for automating the maintenance of domain-specific taxonomies based on natural language text understanding. A given ontology is incrementally updated as ...
Udo Hahn, Klemens Schnattinger
IRMA
2000
15 years 6 months ago
EMC - A modeling method for developing web-based applications
Early information systems were mainly built around secondary, administrative processes of the value chain (e.g. accounting). But since the internet came into use, more and more pr...
Peter Rittgen
ENTCS
2006
93views more  ENTCS 2006»
15 years 4 months ago
A Rule-based System for Web site Verification
In this paper, we describe a system, written in Haskell, for the automated verification of Web sites which can be used to specify (partial) correctness and completeness properties...
Demis Ballis, Javier García-Vivó
159
Voted
SCP
2011
228views Communications» more  SCP 2011»
14 years 11 months ago
Dynamic consistency in process algebra: From Paradigm to ACP
The coordination modelling language Paradigm addresses collaboration between components in terms of dynamic constraints. Within a Paradigm model, component dynamics are consistent...
Suzana Andova, Luuk Groenewegen, Erik P. de Vink