3001 search results - page 363 / 601 » Recursive type generativity |
158
click to vote
SCM
1998
15 years 7 months ago
1998
Abstract. An SCM database contains data which can be used as input for Software Metrics. Both data for Size-Oriented Metrics, and information for ProcessOriented Metrics are availa...
189
click to vote
AIPS
1996
15 years 7 months ago
1996
Informationgathering requires locating and integrating data froma set of distributed informationsources. These sources maycontain overlapping data and can comefrom different types...
168
click to vote
DAGSTUHL
1996
15 years 7 months ago
1996
Abstract. Two-level -calculi have been heavily utilised for applications such as partial evaluation, abstract interpretation and code generation. Each of these applications pose di...
164
click to vote
IJCAI
1993
15 years 7 months ago
1993
Human chess players exhibit a large variation in the amount of time they allocate for each move. Yet, the problem of devising resource allocation strategies for game playing did n...
133
click to vote
IJCAI
1989
15 years 7 months ago
1989
1 describe an approach to the problem of forming hypotheses about hidden mechanisms w; thin devices — the "black box" problem for physical systems. The approach involv...