Author of the publication

A Real-Time Configurable Shader Based on Lookup Tables.

, and . CW, page 507-514. IEEE Computer Society, (2002)

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

Compression of depth-fused 3-D images using depth map data., , , and . J. Electronic Imaging, 14 (2): 023020 (2005)Combining type-based analysis and model checking for finding counterexamples against non-interference., , and . PLAS, page 17-26. ACM, (2006)Lighting technique for attaching invisible information onto real objects using temporally and spatially color-intensity modulated light., and . IAS, page 1-5. IEEE, (2019)Probabilistic Inference for Predicate Constraint Satisfaction., , and . AAAI, page 1644-1651. AAAI Press, (2020)Automating relatively complete verification of higher-order functional programs., , and . POPL, page 75-86. ACM, (2013)Temporal verification of higher-order functional programs., , , , and . POPL, page 57-68. ACM, (2016)Exact interactions executed with new technique estimating positions of virtual objects by using human body movements., , and . 3DUI, page 185-186. IEEE Computer Society, (2015)Study on removing superimposed QR code on object image using an autoencoder., and . ICMLSC, page 178-185. ACM, (2024)Temporal Verification of Programs via First-Order Fixpoint Logic., , , and . SAS, volume 11822 of Lecture Notes in Computer Science, page 413-436. Springer, (2019)Extraction of Corresponding Points from Stereo Images by Using Intersections of Segments., , and . MVA, page 516-519. (2007)