619 search results - page 15 / 124 » Formal Methods Meet Domain Specific Languages |
LREC
2008
13 years 9 months ago
2008
Automated extraction of ontological knowledge from text corpora is a relevant task in Natural Language Processing. In this paper, we focus on the problem of finding hypernyms for ...
SAS
1992
Springer
13 years 11 months ago
1992
Springer
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
NLDB
2001
Springer
13 years 12 months ago
2001
Springer
: This paper presents an automatic method and interface to enrich semantically WordNet with categories from general domain classification systems. The method is performed in two co...
GREC
2007
Springer
13 years 11 months ago
2007
Springer
Computer understanding of visual languages in pen-based environments requires a combination of lexical analysis in which the basic tokens are recognized from hand-drawn gestures an...
APSEC
2000
IEEE
13 years 12 months ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...