10048 search results - page 5 / 2010 » The Structure and Performance of Interpreters |
CORR
2008
Springer
13 years 9 months ago
2008
Springer
al abstract interpretation A formal study using Coq Yves Bertot INRIA Sophia-M
ML
2002
ACM
13 years 8 months ago
2002
ACM
A widely acknowledged drawback of many statistical modelling techniques, commonly used in machine learning, is that the resulting model is extremely difficult to interpret. A numb...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
We consider a new kind of interpretation over relational structures: finite sets interpretations. Those interpretations are defined by weak monadic second-order (WMSO) formulas w...
DAS
2006
Springer
14 years 19 days ago
2006
Springer
This paper describes a Neural Network (NN) approach for logical document structure extraction. In this NN architecture, called Transparent Neural Network (TNN), the document struct...
ICAART
2010
INSTICC
14 years 6 months ago
2010
INSTICC
