Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Fu, Qiancheng"'
Autor:
Fu, Qiancheng, Xi, Hongwei
We present a type theory combining both linearity and dependency by stratifying typing rules into a level for logics and a level for programs. The distinction between logics and programs decouples their semantics, allowing the type system to assume t
Externí odkaz:
http://arxiv.org/abs/2309.08673
Recently, neural implicit surfaces learning by volume rendering has become popular for multi-view reconstruction. However, one key challenge remains: existing approaches lack explicit multi-view geometry constraints, hence usually fail to generate ge
Externí odkaz:
http://arxiv.org/abs/2205.15848
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.