77 search results - page 4 / 16 » Fast Binary Image Processing Using Binary Decision Diagrams |
ICIP
2003
IEEE
14 years 9 months ago
2003
IEEE
A novel and highly efficient algorithm of multiplicarionfree binary arithmetic coding is proposed. Our proposed method relies on simple table lookupsfor performing the computation...
DATE
2003
IEEE
14 years 19 days ago
2003
IEEE
Data correlation is a well-known problem that causes difficulty in VLSI testing. Based on a correlation metric, an efficient heuristic to select BIST registers has been proposed...
ICASSP
2008
IEEE
14 years 1 months ago
2008
IEEE
We consider the problem of planar object registration on binary images where the aligning transformation is restricted to the group of affine transformations. Previous approaches...
CHARME
2001
Springer
13 years 11 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
DEXA
2006
Springer
13 years 11 months ago
2006
Springer
The composition of services that are indexed in a large-scale service directory often involves many complex queries issued by the service composition algorithm to the directory. Th...