3564 search results - page 140 / 713 » Evaluating a Formal Modelling Language |
IJCNLP
2005
Springer
15 years 3 months ago
2005
Springer
Ordering information is a difficult but a important task for natural language generation applications. A wrong order of information not only makes it difficult to understand, but a...
IJCNLP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Linguistic information can help improve evaluation of similarity between documents; however, the kind of linguistic information to be used depends on the task. In this pa...
SIGIR
2009
ACM
15 years 4 months ago
2009
ACM
Abstract. One major goal of text mining is to provide automatic methods to help humans grasp the key ideas in ever-increasing text corpora. To this effect, we propose a statistica...
CAISE
2006
Springer
15 years 1 months ago
2006
Springer
This paper presents a formal model of the substitution rules for soccer games as they existed at the 1994 World Cup. The model is expressed in VDM and can be animated with the VDMT...
CAISE
2008
Springer
14 years 12 months ago
2008
Springer
This paper shows a rigorous approach based on algebraic specications and rewriting logic which makes up for the lack of current transformation languages and oers a balanced rigour-...