会员服务
Implicit Decision Diagrams
Arxiv
0+阅读 · 2月24日
Implicit Decision Diagrams
Arxiv
0+阅读 · 2月26日
CounterPoint: Using Hardware Event Counters to Refute and Refine Microarchitectural Assumptions (Extended Version)
Arxiv
0+阅读 · 2月26日
Efficient Binary Decision Diagram Manipulation in External Memory
Arxiv
0+阅读 · 2月12日
CounterPoint: Using Hardware Event Counters to Refute and Refine Microarchitectural Assumptions (Extended Version)
Arxiv
0+阅读 · 1月12日
CounterPoint: Using Hardware Event Counters to Refute and Refine Microarchitectural Assumptions (Extended Version)
Arxiv
0+阅读 · 1月3日
Kicking for Goal or Touch? An Expected Points Framework for Penalty Decisions in Rugby Union
Arxiv
0+阅读 · 2025年11月29日
Multi-variable Quantification of BDDs in External Memory using Nested Sweeping (Extended Paper)
Arxiv
0+阅读 · 2025年11月20日
Multi-variable Quantification of BDDs in External Memory using Nested Sweeping (Extended Paper)
Arxiv
0+阅读 · 2025年11月21日
R-U-SURE? Uncertainty-Aware Code Suggestions By Maximizing Utility Across Random User Intents
Arxiv
0+阅读 · 2023年4月28日
CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams
Arxiv
0+阅读 · 2023年4月17日
CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams
Arxiv
0+阅读 · 2023年4月7日
On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results
Arxiv
0+阅读 · 2023年3月30日
PFL: a Probabilistic Logic for Fault Trees
Arxiv
0+阅读 · 2023年3月30日
Quantum-Inspired Perfect Matching under Vertex-Color Constraints
Arxiv
0+阅读 · 2023年3月30日
参考链接
微信扫码咨询专知VIP会员
Top