1205 search results - page 83 / 241 » Program Extraction from Large Proof Developments |
100
click to vote
ICPP
1996
IEEE
15 years 5 months ago
1996
IEEE
The ability to automatically parallelize standard programming languages results in program portability across a wide range of machine architectures. It is the goal of the Polaris ...
118
click to vote
PPOPP
2012
ACM
13 years 9 months ago
2012
ACM
We present Dynamic Out-of-Order Java (DOJ), a dynamic parallelization approach. In DOJ, a developer annotates code blocks as tasks to decouple these blocks from the parent executi...
120
Voted
CADE
2007
Springer
15 years 7 months ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
124
click to vote
PADL
2000
Springer
15 years 5 months ago
2000
Springer
The general goal of data mining is to extract interesting correlated information from large collection of data. A key computationally-intensive subproblem of data mining involves ...
140
Voted
IROS
2008
IEEE
15 years 8 months ago
2008
IEEE
— This paper presents a vision based method for grasp classification. It is developed as part of a Programming by Demonstration (PbD) system for which recognition of objects and...