Zobrazeno 1 - 10
of 1 193
pro vyhledávání: '"Gu,Tao"'
Autor:
Ni, Tao, Sun, Zehua, Han, Mingda, Lan, Guohao, Xie, Yaxiong, Li, Zhenjiang, Gu, Tao, Xu, Weitao
Diverse Wi-Fi-based wireless applications have been proposed, ranging from daily activity recognition to vital sign monitoring. Despite their remarkable sensing accuracy, the high energy consumption and the requirement for customized hardware modific
Externí odkaz:
http://arxiv.org/abs/2409.00086
A central concept within informatics is in modelling such systems for the purpose of reasoning (perhaps automated) about their behaviour and properties. To this end, one requires an interpretation of logical formulae in terms of the resources and sta
Externí odkaz:
http://arxiv.org/abs/2405.06491
We propose Magic Clothing, a latent diffusion model (LDM)-based network architecture for an unexplored garment-driven image synthesis task. Aiming at generating customized characters wearing the target garments with diverse text prompts, the image co
Externí odkaz:
http://arxiv.org/abs/2404.09512
A short essay presenting the State-Effect Interpretation of natural deduction rules as an explanatory framework for recent developments in proof-theoretic semantics.
Comment: Submitted to 'Logic and Philosophy: Historical and Contemporary Issues
Comment: Submitted to 'Logic and Philosophy: Historical and Contemporary Issues
Externí odkaz:
http://arxiv.org/abs/2403.10546
Autor:
Zhao, Jingbo, Lu, Zhaoming, Zhang, J. Andrew, Li, Weicai, Xiong, Yifeng, Han, Zijun, Wen, Xiangming, Gu, Tao
This document contains the appendices for our paper titled ``Performance Bounds for Passive Sensing in Asynchronous ISAC Systems." The appendices include rigorous derivations of key formulas, detailed proofs of the theorems and propositions introduce
Externí odkaz:
http://arxiv.org/abs/2403.05793
We present OOTDiffusion, a novel network architecture for realistic and controllable image-based virtual try-on (VTON). We leverage the power of pretrained latent diffusion models, designing an outfitting UNet to learn the garment detail features. Wi
Externí odkaz:
http://arxiv.org/abs/2403.01779
Publikováno v:
MFPS 2024
In systems modelling, a 'system' typically comprises located resources relative to which processes execute. One important use of logic in informatics is in modelling such systems for the purpose of reasoning (perhaps automated) about their behaviour
Externí odkaz:
http://arxiv.org/abs/2402.09217
The logic of Dependence and Independence Bunched Implications (DIBI) is a logic to reason about conditional independence (CI); for instance, DIBI formulas can characterise CI in probability distributions and relational databases, using the probabilis
Externí odkaz:
http://arxiv.org/abs/2401.05842
Publikováno v:
Studia Logica 2024
The logic of bunched implications (BI) can be seen as the free combination of intuitionistic propositional logic (IPL) and intuitionistic multiplicative linear logic (IMLL). We present here a base-extension semantics (B-eS) for BI in the spirit of Sa
Externí odkaz:
http://arxiv.org/abs/2311.16719
Publikováno v:
IEEE Transactions on Mobile Computing,2024
Federated Learning (FL) achieves great popularity in the Internet of Things (IoT) as a powerful interface to offer intelligent services to customers while maintaining data privacy. Under the orchestration of a server, edge devices (also called client
Externí odkaz:
http://arxiv.org/abs/2310.09789