697 search results - page 45 / 140 » Decomposition Structures for Event-B |
116
click to vote
ASPDAC
2010
ACM
14 years 10 months ago
2010
ACM
As Double Patterning Lithography(DPL) becomes the leading candidate for sub-30nm lithography process, we need a fast and lithography friendly decomposition framework. In this pape...
ICIP
2005
IEEE
16 years 1 months ago
2005
IEEE
Color signal decomposition method is to decompose the conventional three-primary colors(RGB) into the multiprimary control values of multi-primary display(MPD) under the constraint...
ICDT
2010
ACM
14 years 10 months ago
2010
ACM
We propose a greedy algorithm which, given a hypergraph H and a positive integer k, produces a hypertree decomposition of width less than or equal to 3k −1, or determines that H...
192
click to vote
SIGMOD
2008
ACM
15 years 12 months ago
2008
ACM
The problem of simultaneously clustering columns and rows (coclustering) arises in important applications, such as text data mining, microarray analysis, and recommendation system...
146
click to vote
WEA
2010
Springer
15 years 6 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 ...