Search for persons
X
?
2024 Picture Coding Symposium (PCS) ,
1
RankDVQA-Mini: Knowledge Distillation-Driven Deep Video Qua..:
, In:
?
2023 IEEE BioSensors Conference (BioSensors) ,
2
Design and characterisation of a broadband PCB coaxial sens..:
, In:
?
Dependable Software Engineering. Theories, Tools, and Applications; Lecture Notes in Computer Science ,
3
Diversifying a Parallel SAT Solver with Bayesian Moment Mat..:
, In:
?
Theory and Applications of Satisfiability Testing – SAT 2020; Lecture Notes in Computer Science ,
4
Community and LBD-Based Clause Sharing Policy for Parallel ..:
, In:
?
Lecture Notes in Computer Science; NASA Formal Methods ,
5
On the Usefulness of Clause Strengthening in Parallel SAT S..:
, In:
?
2023 IEEE/CVF Winter Conference on Applications of Computer Vision Workshops (WACVW) ,
7