6201 search results - page 190 / 1241 » Implementation of Axiomatic Language |
125
click to vote
FP
1995
15 years 8 months ago
1995
We describe a natural language parser that uses type information to determine the grammatical structure of simple sentences and phrases. This stands in contrast to studies of type...
134
click to vote
ER
2008
Springer
15 years 6 months ago
2008
Springer
It is common to find that the definition or common usage of a data modelling language causes there to be restrictions placed on the evolution of data values that are associated wit...
125
click to vote
ECIR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. The Multiple Bernoulli (MB) Language Model has been generally considered too computationally expensive for practical purposes and superseded by the more efficient multino...
108
Voted
ANLP
1994
15 years 6 months ago
1994
An analysis of the evolution of Natural Language front ends in the last three decades shows that the growth in portability brought, as a side effect, the narrowing of the provided...
122
click to vote
ENTCS
2008
15 years 4 months ago
2008
Circus is a refinement language, in which specifications define both data and behavioural aspects of concurrent systems using a combination of Z and CSP. Its refinement theory and...