1205 search results - page 41 / 241 » Program Extraction from Large Proof Developments |
EUROPAR
2005
Springer
14 years 4 months ago
2005
Springer
Ibis1 is a programming environment for the development of grid applications in Java. We aim to support a wide range of applications and parallel platforms, so our example programs ...
HASKELL
2006
ACM
14 years 5 months ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
SIGKDD
2000
13 years 10 months ago
2000
Advances in data collection and storage have allowed organizations to create massive, complex and heterogeneous databases, which have stymied traditional methods of data analysis....
AMC
2011
13 years 2 months ago
2011
：In this paper, a novel supervised dimensionality reduction method is developed based on both the correlation analysis and the idea of large margin learning. The method aims to m...
IIS
2001
14 years 11 days ago
2001
: A method for discovering multi-head attributional rules in large databases is presented and illustrated by results from an implemented program. Attributional rules (a.k.a. attrib...