1842 search results - page 72 / 369 » Measurement theory in linguistics |
ISSTA
1996
ACM
14 years 1 months ago
1996
ACM
In assessing the quality of software, we would like to make engineering judgements similar to those based on statistical quality control. Ideally, we want to support statements li...
BIRTHDAY
2009
Springer
14 years 3 months ago
2009
Springer
We propose to model the development of language by a series of formal grammars, accounting for the linguistic capacity of children at the very early stages of mastering language. T...
ACL2
2006
ACM
14 years 3 months ago
2006
ACM
We describe an embedding of the ACL2 logic into higherorder logic. An implementation of this embedding allows ACL2 to be used as an oracle for higher-order logic provers. Categori...
ACL2
2006
ACM
14 years 23 days ago
2006
ACM
We investigate the logical issues behind axiomatizing equations that contain both recursive calls and quantifiers in ACL2. We identify a class of such equations, named extended ta...
FP
1995
14 years 17 days 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...