3634 search results - page 33 / 727 » The Field Representation Language |
168
click to vote
GIS
1992
ACM
15 years 9 months ago
1992
ACM
Machine learning techniques such as tree induction have become accepted tools for developing generalisations of large data sets, typically for use with production rule systems in p...
110
Voted
FDL
2006
IEEE
15 years 11 months ago
2006
IEEE
168
Voted
JAR
2010
15 years 3 months ago
2010
Abstract. We present a declarative language inspired by the pseudonatural language used in Matita for the explanation of proof terms. We show how to compile the language to proof t...