会员服务
PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse
Arxiv
0+阅读 · 2023年4月20日
Fixpoint Theory -- Upside Down
Arxiv
0+阅读 · 2023年4月19日
TraVLR: Now You See It, Now You Don't! A Bimodal Dataset for Evaluating Visio-Linguistic Reasoning
Arxiv
0+阅读 · 2023年4月15日
NeuriCam: Key-Frame Video Super-Resolution and Colorization for IoT Cameras
Arxiv
0+阅读 · 2023年4月13日
TM2D: Bimodality Driven 3D Dance Generation via Music-Text Integration
Arxiv
0+阅读 · 2023年4月5日
Gradual Typing for Effect Handlers
Arxiv
0+阅读 · 2023年4月4日
Connected and Automated Vehicles Investment and Smart Infrastructure in Tennessee Part 3: Infrastructure and Vehicular communications: From Dedicated Short-Range Communications to Cellular Vehicle-to-Everything
Arxiv
0+阅读 · 2023年4月6日
Sound approximate and asymptotic probabilistic bisimulations for PCTL
Arxiv
0+阅读 · 2023年3月30日
Best of Both Worlds: Multimodal Contrastive Learning with Tabular and Imaging Data
Arxiv
0+阅读 · 2023年3月30日
Bisimilar States in Uncertain Structures
Arxiv
0+阅读 · 2023年3月27日
Best of Both Worlds: Multimodal Contrastive Learning with Tabular and Imaging Data
Arxiv
0+阅读 · 2023年3月27日
参考链接
微信扫码咨询专知VIP会员
Top