2 citations · 3 across the 20 of their papers we have counts for
4 papers · 1 filter
A 3D Generation Framework from Cross Modality to Parameterized Primitive
Yiming Liang, Huan Yu, Zili Wang +4
Recent advancements in AI-driven 3D model generation have leveraged cross modality, yet generating models with smooth surfaces and minimizing storage overhead remain challenges. Th…
Taut fillings
Peter Doyle, Matthew Ellison, Zili Wang
Let be a simplicial triangulation of the 2-sphere, the associated integral 2-cycle. A filling of is an integral 3-chain with ; a taut filling is one…
A self-learning framework for adaptive free-form pipe routing in aeroengines
Caicheng Wang, Zili Wang, Shuyou Zhang +3
Pipe routing is a highly complex, time-consuming, and no-deterministic polynomial-time hard (NP-hard) problem in aeroengine design. Despite extensive research efforts in optimizing…
Formally Verifying a Transformation from MLTL Formulas to Regular Expressions
Zili Wang, Katherine Kosaian, Kristin Yvonne Rozier
Mission-time Linear Temporal Logic (MLTL), a widely used subset of popular specification logics like STL and MTL, is often used to model and verify real world systems in safety-cri…