424 search results - page 7 / 85 » types 1999 |
BC
1999
14 years 9 months ago
1999
The discriminating ability (selectivity) of the chemoreceptor neuron is compared with that of its receptor proteins. The process of neuronal triggering is expected to be cooperativ...
TLCA
1999
Springer
15 years 2 months ago
1999
Springer
AnnoDomini is a commercially available source-to-source conversion tool for finding and fixing Year 2000 problems in COBOL programs. AnnoDomini uses type-based specification, an...
COGSCI
2010
14 years 9 months ago
2010
Computational models of meaning trained on naturally occurring text successfully model human performance on tasks involving simple similarity measures, but they characterize meani...
IWPC
1999
IEEE
15 years 2 months ago
1999
IEEE
In a typical COBOL program, the data division consists of 50% of the lines of code. Automatic type inference can help to understand the large collections of variable declarations ...
LICS
1999
IEEE
15 years 2 months ago
1999
IEEE
The problem of defining and checking a subtype relation between recursive types was studied in [3] for a first order type system, but for second order systems, which combine subty...