Journal of the ACM （JOLACM） - Issue 287 论文列表
| 点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息 |
| 卷期号： Issue 287 |
| 发布时间： |
| 卷期年份： 2015 |
| 卷期官网： |
本期论文列表
Monitoring Metric First-Order Temporal Properties.
Exponential Lower Bounds for Polytopes in Combinatorial Optimization.
Recursive Markov Decision Processes and Recursive Stochastic Games.
Truthful Mechanisms with Implicit Payment Computation.
Document Spanners: A Formal Approach to Information Extraction.
Finding Correlations in Subquadratic Time, with Applications to Learning Parities and the Closest Pair Problem.
Preemptive Uniprocessor Scheduling of Mixed-Criticality Sporadic Task Systems.
Invited Article Foreword.