会员服务
RTS：Real-Time Systems。 Explanation：实时系统。 Publisher：Springer。 SIT:http://dblp.uni-trier.de/db/journals/rts/
PinchCatcher: Enabling Multi-selection for Gaze+Pinch
Arxiv
0+阅读 · 3月7日
PinchCatcher: Enabling Multi-selection for Gaze+Pinch
Arxiv
0+阅读 · 3月12日
Advancing Education through Tutoring Systems: A Systematic Literature Review
Arxiv
0+阅读 · 3月12日
Reliable Text-to-SQL with Adaptive Abstention
Arxiv
0+阅读 · 1月18日
A Competition Winning Deep Reinforcement Learning Agent in microRTS
Arxiv
0+阅读 · 1月2日
Three-dimensional attention Transformer for state evaluation in real-time strategy games
Arxiv
0+阅读 · 1月7日
Efficient Incremental Code Coverage Analysis for Regression Test Suites
Arxiv
0+阅读 · 2024年10月29日
Computing Inductive Invariants of Regular Abstraction Frameworks
Arxiv
0+阅读 · 2024年7月19日
When Automated Program Repair Meets Regression Testing -- An Extensive Study on 2 Million Patches
Arxiv
0+阅读 · 2024年7月2日
Scalable Computation of Inter-Core Bounds Through Exact Abstractions
Arxiv
0+阅读 · 2024年5月13日
Scalable Computation of Inter-Core Bounds Through Exact Abstractions
Scalable Computation of Inter-Core Bounds Through Exact Abstractions
Arxiv
0+阅读 · 2024年5月10日
Computing Inductive Invariants of Regular Abstraction Frameworks
Arxiv
0+阅读 · 2024年4月16日
A Self-feedback Knowledge Elicitation Approach for Chemical Reaction Predictions
Arxiv
0+阅读 · 2024年4月15日
The Invariant Rauch-Tung-Striebel Smoother
Arxiv
0+阅读 · 2024年2月29日
Benchmarking ground truth trajectories with robotic total stations
Benchmarking ground truth trajectories with robotic total stations
Arxiv
0+阅读 · 2024年2月29日
参考链接
父主题
Springer
计算机体系结构/并行与分布计算/存储系统
微信扫码咨询专知VIP会员
Top