2297 search results - page 224 / 460 » A fast APRIORI implementation |
CVPR
2000
IEEE
16 years 1 months ago
2000
IEEE
In this work, we approach the classic Mumford-Shah problem from a curve evolution perspective. In particular, we let a given family of curves define the boundaries between regions...
VLSID
2005
IEEE
16 years 23 hour ago
2005
IEEE
This paper presents a highly efficient processor design methodology based on the LISA 2.0 language. Typically the architecture design phase is dominated by an iterative processor ...
CADE
2008
Springer
15 years 12 months ago
2008
Springer
Tree automata completion is a technique for the verification of infinite state systems. It has already been used for the verification of cryptographic protocols and the prototyping...
DCC
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a technique designed aiming to improve the compression of the Edgebreaker CLERS string for large and regular meshes, where regularity is understood as the compactness o...
110
click to vote
IEEEPACT
2009
IEEE
15 years 6 months ago
2009
IEEE
—Analytical models have been used to estimate optimal values for parameters such as tile sizes in the context of loop nests. However, important algorithms such as fast Fourier tr...