1205 search results - page 39 / 241 » Program Extraction from Large Proof Developments |
98
Voted
LREC
2010
15 years 3 months ago
2010
In this paper, we present a morphosyntactic tagset for Afrikaans based on the guidelines developed by the Expert Advisory Group on Language Engineering Standards (EAGLES). We comp...
FLAIRS
2000
15 years 3 months ago
2000
Extracting knowledge from existing sources of information is a key development area to unlock previously unknown relationships between specific data points. Data mining is a techn...
129
click to vote
IWPC
2000
IEEE
15 years 6 months ago
2000
IEEE
Call graphs are commonly used as input for automatic clustering algorithms, the goal of which is to extract the high level structure of the program under study. Determining the ca...
114
Voted
POPL
2010
ACM
15 years 11 months ago
2010
ACM
We present an analysis to automatically determine if a program represents a continuous function, or equivalently, if infinitesimal changes to its inputs can only cause infinitesim...
106
Voted
AIED
2005
Springer
15 years 7 months ago
2005
Springer
Educational content developers, including AIED developers, traditionally make a distinction between formative evaluation and summative evaluation of learning materials. Although th...