9455 search results - page 127 / 1891 » The Modelling Language Zinc |
123
Voted
ICTIR
2009
Springer
14 years 11 months ago
2009
Springer
Intuitively, any `bag of words' approach in IR should benefit from taking term dependencies into account. Unfortunately, for years the results of exploiting such dependencies ...
161
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
117
click to vote
CIKM
2005
Springer
15 years 7 months ago
2005
Springer
Language Modeling (LM) has been successfully applied to Information Retrieval (IR). However, most of the existing LM approaches only rely on term occurrences in documents, queries...
106
click to vote
ICDAR
2007
IEEE
15 years 8 months ago
2007
IEEE
Handwriting is an alternative method for entering texts composing Short Message Services. However, a whole new language features the texts which are produced. They include for ins...
113
click to vote
FASE
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...