Author of the publication

Hybrid halftoning using direct multi-bit search (DMS) screen algorithm.

, , , and . Color Imaging: Displaying, Processing, Hardcopy, and Applications, volume 9015 of SPIE Proceedings, page 90150P. SPIE, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

How to Make AXIOM into a Scratchpad., and . ISSAC, page 32-40. ACM, (1994)Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry., , , , , and . Formal Methods Syst. Des., 45 (2): 189-212 (2014)Decomposition of Algebras., , and . ISSAC, volume 358 of Lecture Notes in Computer Science, page 300-308. Springer, (1988)CertRL: formalizing convergence proofs for value and policy iteration in Coq., , , , and . CPP, page 18-31. ACM, (2021)Computing with Polynomials Given By Black Boxes for Their Evaluation: Greatest Common Divisors, Factorization, Separation of Numerators and Denominators, and . FOCS, page 296-305. IEEE Computer Society, (1988)Direct multi-bit search (DMS) screen algorithm., , , and . ICIP, page 817-820. IEEE, (2012)Towards a Unification of Logic and Information Theory., , , , , , and . CoRR, (2023)Integral Closure of Noetherian Rings., and . ISSAC, page 212-216. ACM, (1997)A Reordered Schur Factorization Method for Zero-dimensional Polynomial Systems with Multiple Roots., , and . ISSAC, page 133-140. ACM, (1997)Factorization over finitely generated fields., and . SYMSACC, page 200-205. ACM, (1981)