1205 search results - page 98 / 241 » Program Extraction from Large Proof Developments |
112
Voted
EMMCVPR
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In this paper, we present a novel successive relaxation linear programming scheme for solving the important class of consistent labeling problems for which an L1 metric i...
138
click to vote
CONSTRAINTS
2008
15 years 1 months ago
2008
Bioinformatics aims at applying computer science methods to the wealth of data collected in a variety of experiments in life sciences (e.g. cell and molecular biology, biochemistry...
120
click to vote
ICCS
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Parallel Computational Science and Engineering (CSE) applications often exhibit irregular structure and dynamic load patterns. Many such applications have been developed ...
107
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: Genetic association studies have been used to map disease-causing genes. A newly introduced statistical method, called exhaustive haplotype association study, analyzes...
116
click to vote
IJAIT
2008
15 years 1 months ago
2008
Instruction scheduling is one of the most important steps for improving the performance of object code produced by a compiler. A fundamental problem that arises in instruction sch...