1205 search results - page 149 / 241 » Program Extraction from Large Proof Developments |
126
click to vote
GECCO
2003
Springer
15 years 6 months ago
2003
Springer
This paper presents an approach for classifying students in order to predict their final grade based on features extracted from logged data in an education web-based system. A comb...
194
click to vote
DOCENG
2011
ACM
14 years 1 months ago
2011
ACM
A use case involving integrating results from search engines illustrates how the meta-metadata language facilitates interoperable metadata semantics. Formal semantics can be hard ...
104
click to vote
DCC
2002
IEEE
16 years 1 months ago
2002
IEEE
With the emergence of software delivery platforms such as Microsoft's .NET, code compression has become one of the core enabling technologies strongly affecting system perfor...
105
click to vote
LREC
2010
15 years 2 months ago
2010
Broad-coverage language resources which provide prior linguistic knowledge must improve the accuracy and the performance of NLP applications. We are constructing a broad-coverage ...
117
click to vote
SEFM
2006
IEEE
15 years 7 months ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...