Zobrazeno 1 - 10
of 66
pro vyhledávání: '"Ji, Ruyi"'
Proving equivalence between functional programs is a fundamental problem in program verification, which often amounts to reasoning about algebraic data types (ADTs) and compositions of structural recursions. Modern theorem provers address this proble
Externí odkaz:
http://arxiv.org/abs/2405.11535
In this paper, we develop a new method, termed SDF-3DGAN, for 3D object generation and 3D-Aware image synthesis tasks, which introduce implicit Signed Distance Function (SDF) as the 3D object representation method in the generative field. We apply SD
Externí odkaz:
http://arxiv.org/abs/2303.06821
Automatic security inspection relying on computer vision technology is a challenging task in real-world scenarios due to many factors, such as intra-class variance, class imbalance, and occlusion. Most previous methods rarely touch the cases where th
Externí odkaz:
http://arxiv.org/abs/2211.10763
Dynamic programming is an important optimization technique, but designing efficient dynamic programming algorithms can be difficult for even professional programmers. Thinning, a technique developed for systematically deriving efficient dynamic progr
Externí odkaz:
http://arxiv.org/abs/2202.12208
Algorithmic paradigms such as divide-and-conquer (D&C) are proposed to guide developers in designing efficient algorithms, but it can still be difficult to apply algorithmic paradigms to practical tasks. To ease the usage of paradigms, many research
Externí odkaz:
http://arxiv.org/abs/2202.12193
Publikováno v:
In Materials Science & Engineering A September 2024 911
Publikováno v:
In Colloids and Surfaces A: Physicochemical and Engineering Aspects 5 December 2024 702 Part 2
Publikováno v:
In Construction and Building Materials 28 June 2024 433
Publikováno v:
In Journal of Energy Storage 1 June 2024 89
The generalizability of PBE solvers is the key to the empirical synthesis performance. Despite the importance of generalizability, related studies on PBE solvers are still limited. In theory, few existing solvers provide theoretical guarantees on gen
Externí odkaz:
http://arxiv.org/abs/2105.14467