成为VIP会员查看完整内容
VIP会员码认证
首页
主题
发现
会员
服务
注册
·
登录
CSP
关注
0
综合
百科
VIP
热门
动态
论文
精华
Privacy-Preserving Cyberattack Detection in Blockchain-Based IoT Systems Using AI and Homomorphic Encryption
Arxiv
0+阅读 · 12月18日
Filling Memory Gaps: Enhancing Continual Semantic Parsing via SQL Syntax Variance-Guided LLMs without Real Data Replay
Arxiv
0+阅读 · 12月10日
Robust Contraction Decomposition for Minor-Free Graphs and its Applications
Arxiv
0+阅读 · 12月5日
Optimal energy collection with rotational movements constraints in concentrated solar power plants
Arxiv
0+阅读 · 11月28日
Truffle: Efficient Data Passing for Data-Intensive Serverless Workflows in the Edge-Cloud Continuum
Arxiv
0+阅读 · 11月25日
On guarded extensions of MMSNP
Arxiv
0+阅读 · 11月25日
Transformer-based Heuristic for Advanced Air Mobility Planning
Arxiv
0+阅读 · 11月21日
Hereditary First-Order Model Checking
Arxiv
0+阅读 · 11月16日
Efficient Algorithms and New Characterizations for CSP Sparsification
Arxiv
0+阅读 · 11月5日
Redundancy Is All You Need
Arxiv
0+阅读 · 11月5日
The periodic structure of local consistency
Arxiv
0+阅读 · 10月31日
Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL
Arxiv
0+阅读 · 10月30日
SAT Requires Exhaustive Search
Arxiv
0+阅读 · 10月28日
The CSP Dichotomy, the Axiom of Choice, and Cyclic Polymorphisms
Arxiv
0+阅读 · 10月29日
Quasi-quantum states and the quasi-quantum PCP theorem
Arxiv
0+阅读 · 10月17日
参考链接
提示
微信扫码
咨询专知VIP会员与技术项目合作
(加微信请备注: "专知")
微信扫码咨询专知VIP会员
Top