会员服务
静态分析越来越被认为是程序验证、错误检测、编译器优化、程序理解和软件维护的基本工具。国际静态分析系列研讨会（SAS）是展示该领域理论、实践和应用进展的主要场所。官网链接：http://www.staticanalysis.org/
On Stable Approximation Algorithms for Geometric Coverage Problems
Arxiv
0+阅读 · 12月17日
Reducing the Cost: Cross-Prompt Pre-Finetuning for Short Answer Scoring
Arxiv
0+阅读 · 8月26日
Statistical Inference for Chi-square Statistics or F-Statistics Based on Multiple Imputation
Arxiv
0+阅读 · 9月17日
Spatially-Aware Speaker for Vision-and-Language Navigation Instruction Generation
Arxiv
0+阅读 · 9月9日
TrIM: Triangular Input Movement Systolic Array for Convolutional Neural Networks -- Part I: Dataflow and Analytical Modelling
Arxiv
0+阅读 · 8月2日
Space Adaptive Search for Nonholonomic Mobile Robots Path Planning
Arxiv
0+阅读 · 7月7日
surveygenmod2: A SAS macro for estimating complex survey adjusted generalized linear models and Wald-type tests
Arxiv
0+阅读 · 6月11日
Near-Field Multiuser Communications based on Sparse Arrays
Arxiv
0+阅读 · 6月13日
Sparse $L^1$-Autoencoders for Scientific Data Compression
Arxiv
0+阅读 · 5月23日
Particle swarm optimization with Applications to Maximum Likelihood Estimation and Penalized Negative Binomial Regression
Arxiv
0+阅读 · 5月20日
Parameter Hierarchical Optimization for Visible-Infrared Person Re-Identification
Arxiv
0+阅读 · 4月11日
A Comprehensive Analysis of Secondary Coexistence in a Real-World CBRS Deployment
Arxiv
0+阅读 · 3月15日
Essential Properties of Type III* Methods
Arxiv
0+阅读 · 2月29日
A Comprehensive Analysis of Secondary Coexistence in a Real-World CBRS Deployment
Arxiv
0+阅读 · 2月7日
Sudden Drops in the Loss: Syntax Acquisition, Phase Transitions, and Simplicity Bias in MLMs
Arxiv
0+阅读 · 2月7日
参考链接
父主题
Springer
软件工程
程序设计语言
微信扫码咨询专知VIP会员
Top