16518 search results - page 214 / 3304 » A New Approach to Splitting-Off |
152
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
? An efficient and compact canonical form is proposed for the Boolean matching problem under permutation and complementation of variables. In addition an efficient algorithm for co...
142
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
We introduce a novel family of geometrical transformations for the non-rigid registration of medical images, called polyrigid and polyaffine. These transformations have nice mathem...
209
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
The global shape prior knowledge has been exploited by many image segmentation approaches in order to improve segmentation results when there are such problems as occlusion, clutt...
186
click to vote
ACISP
2008
Springer
16 years 27 days ago
2008
Springer
Abstract. We present two (related) dedicated hash functions that deliberately borrow heavily from the block ciphers that appeared in the final stages of the AES process. We explor...
147
click to vote
DATE
2007
IEEE
16 years 27 days ago
2007
IEEE
Due to the widespread demands for efficient SAT solvers in Electronic Design Automation applications, methods to boost the performance of the SAT solver are highly desired. We pr...