13383 search results - page 2372 / 2677 » Abstractions from proofs |
189
click to vote
WEA
2010
Springer
15 years 10 months ago
2010
Springer
Abstract We report on experiments with turning the branch-price-andcut framework SCIP into a generic branch-price-and-cut solver. That is, given a mixed integer program (MIP), our ...
140
click to vote
CTRSA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. A redactable signature scheme for a string of objects supports verification even if multiple substrings are removed from the original string. It is important that the re...
153
Voted
ISBRA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Accurate inference of local ancestry from whole-genome genetic variation data is critical for understanding the history of admixed human populations and detecting SNPs as...
125
Voted
CIDM
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—In this paper we have proposed an improved approach to extract rare association rules. Rare association rules are the association rules containing rare items. Rare items...
131
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Addressing both standby and active power is a major challenge in developing System-on-Chip designs for batterypowered products. Powering off sections of logic or memorie...