会员服务
一个具体事物，总是有许许多多的性质与关系，我们把一个事物的性质与关系，都叫作事物的属性。 事物与属性是不可分的，事物都是有属性的事物，属性也都是事物的属性。 一个事物与另一个事物的相同或相异，也就是一个事物的属性与另一事物的属性的相同或相异。 由于事物属性的相同或相异，客观世界中就形成了许多不同的事物类。具有相同属性的事物就形成一类，具有不同属性的事物就分别地形成不同的类。
HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
Arxiv
0+阅读 · 2023年5月2日
Logical Equivalences, Homomorphism Indistinguishability, and Forbidden Minors
Arxiv
0+阅读 · 2023年5月2日
Are demographically invariant models and representations in medical imaging fair?
Arxiv
0+阅读 · 2023年5月2日
Cross-GAN Auditing: Unsupervised Identification of Attribute Level Similarities and Differences between Pretrained Generative Models
Arxiv
0+阅读 · 2023年5月2日
Joint Modelling of Spoken Language Understanding Tasks with Integrated Dialog History
Arxiv
1+阅读 · 2023年5月1日
Locality Theorems in Semiring Semantics
Arxiv
0+阅读 · 2023年4月29日
Extrapolative Controlled Sequence Generation via Iterative Refinement
Arxiv
0+阅读 · 2023年5月1日
On Algorithms Based on Finitely Many Homomorphism Counts
Arxiv
0+阅读 · 2023年4月20日
On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata
Arxiv
0+阅读 · 2023年4月19日
Learning CLIP Guided Visual-Text Fusion Transformer for Video-based Pedestrian Attribute Recognition
Arxiv
0+阅读 · 2023年4月20日
The ERA of FOLE: Foundation
Arxiv
0+阅读 · 2023年4月19日
Gold Doesn't Always Glitter: Spectral Removal of Linear and Nonlinear Guarded Attribute Information
Arxiv
0+阅读 · 2023年4月20日
PREIM3D: 3D Consistent Precise Image Attribute Editing from a Single Image
Arxiv
0+阅读 · 2023年4月20日
A Protocol for Cast-as-Intended Verifiability with a Second Device
Arxiv
0+阅读 · 2023年4月19日
HyperStyle3D: Text-Guided 3D Portrait Stylization via Hypernetworks
Arxiv
1+阅读 · 2023年4月19日
参考链接
微信扫码咨询专知VIP会员
Top