1205 search results - page 64 / 241 » Program Extraction from Large Proof Developments |
122
click to vote
WWW
2007
ACM
16 years 2 months ago
2007
ACM
Many applications in analytical domains often have the need to "connect the dots" i.e., query about the structure of data. In bioinformatics for example, it is typical t...
123
click to vote
IJCSA
2007
15 years 1 months ago
2007
This article presents experiences in the automation of a testing process. The main goal is the unified testing of not only one program, but a whole family of programs. The family ...
APCCM
2007
15 years 3 months ago
2007
Integration of XML data is an increasingly important problem and many methods have recently been developed. In this talk, we examine the related and more challenging task of how t...
114
Voted
ICTAI
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper we developed an Inductive Logic Programming (ILP) based framework ExOpaque that is able to extract a set of Horn clauses from an arbitrary opaque machine learning mo...
131
click to vote
PE
2010
Springer
15 years 2 days ago
2010
Springer
Solution of large sparse linear fixed-point problems lies at the heart of many important performance analysis calculations. These calculations include steady-state, transient and...