Author of the publication

An Adaptive Prefix-Assignment Technique for Symmetry Reduction.

, , , and . SAT, volume 10491 of Lecture Notes in Computer Science, page 101-118. Springer, (2017)

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

DEANN: Speeding up Kernel-Density Estimation using Approximate Nearest Neighbor Search., , and . AISTATS, volume 151 of Proceedings of Machine Learning Research, page 3108-3137. PMLR, (2022)Detecting Hand-Head Occlusions in Sign Language Video., , , and . SCIA, volume 7944 of Lecture Notes in Computer Science, page 361-372. Springer, (2013)HyperLogLogLog: Cardinality Estimation With One Log More., and . KDD, page 753-761. ACM, (2022)2D Appearance Based Techniques for Tracking the Signer Configuration in Sign Language Video Recordings., , and . ICIAR (2), volume 8815 of Lecture Notes in Computer Science, page 29-38. Springer, (2014)Comparing computer vision analysis of signed language video with motion capture recordings., , , , , and . LREC, page 2421-2425. European Language Resources Association (ELRA), (2012)S-pot - a benchmark in spotting signs within continuous signing., , , , and . LREC, page 1892-1897. European Language Resources Association (ELRA), (2014)Experiments on Recognising the Handshape in Blobs Extracted from Sign Language Videos., , and . ICPR, page 2584-2589. IEEE Computer Society, (2014)SLMotion - An extensible sign language oriented video analysis tool., , , , and . LREC, page 1886-1891. European Language Resources Association (ELRA), (2014)Explicit Correlation Amplifiers for Finding Outlier Correlations in Deterministic Subquadratic Time., , , and . Algorithmica, 82 (11): 3306-3337 (2020)Probabilistic Tensors and Opportunistic Boolean Matrix Multiplication., and . SODA, page 496-515. SIAM, (2019)