3634 search results - page 33 / 727 » The Field Representation Language |
GIS
1992
ACM
14 years 16 days 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...
FDL
2006
IEEE
14 years 2 months ago
2006
IEEE
NLDB
2005
Springer
14 years 1 months ago
2005
Springer
MODELS
2009
Springer
14 years 1 months ago
2009
Springer
JAR
2010
13 years 7 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...