1096 search results - page 111 / 220 » Computation Slicing: Techniques and Theory |
DISOPT
2008
13 years 9 months ago
2008
We introduce a general technique to create an extended formulation of a mixed-integer program. We classify the integer variables into blocks, each of which generates a finite set ...
KDD
2009
ACM
14 years 9 months ago
2009
ACM
Probabilistic frequent itemset mining in uncertain transaction databases semantically and computationally differs from traditional techniques applied to standard "certain&quo...
ISCIS
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. To convert an interlaced video into a progressive one effectively, de-interlacing techniques have been developed. However, existing de-interlacing techniques can not per...
DAC
2003
ACM
14 years 10 months ago
2003
ACM
Structuring and mapping of a Boolean function is an important problem in the design of complex integrated circuits. Libraryaware constructive decomposition offers a solution to th...
DAC
2005
ACM
14 years 10 months ago
2005
ACM
In this paper, we present a new linear-time retiming algorithm that produces near-optimal results. Our implementation is specifically targeted at Altera's Stratix [1] FPGAbas...