2565 search results - page 328 / 513 » Integrating Natural Language Processing and Knowledge Based ... |
135
Voted
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...
144
Voted
ENTCS
2008
15 years 3 months ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
115
Voted
COLING
2002
15 years 3 months ago
2002
While the corpus-based research relies on human annotated corpora, it is often said that a non-negligible amount of errors remain even in frequently used corpora such as Penn Tree...
106
Voted
CORR
1998
Springer
15 years 3 months ago
1998
Springer
The Earley algorithm is a widely used parsing method in natural language processing applications. We introduce a variant of Earley parsing that is based on a “delayed” recognit...
135
Voted
EKAW
2004
Springer
15 years 9 months ago
2004
Springer
We present a tool which helps domain experts capture and maintain constraints. The tool displays parts of an ontology (as classes, sub-classes and properties) in the form of a tree...