首页>外文期刊>计算机、自动化>计算技术、计算机技术>Journal of the Association for Computing Machinery

Journal of the Association for Computing Machinery

Journal of the Association for Computing Machinery

SCIEI

中文名称：计算机器协会杂志

ISSN：0004-5411
出版周期：2.717

发文量：671

期刊论文

年度选择

2021
- 第1期
- 第2期
- 第3期
- 第4期
2020
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2019
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2018
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2017
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2016
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2015
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2014
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2013
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2012
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2011
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2010
- 第1期
- 第2期
- 第3期
- 第4期
- 第6期
2009
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2008
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2007
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2006
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2005
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2004
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2003
- 第1期
- 第2期
- 第3期
- 第4期
- 第6期
2002
- 第3期
- 第6期
2001
- 第1期
- 第2期
- 第3期
2000
- 第2期
- 第4期
- 第5期
1999
- 第4期

更多>>

全选（0）

1.A New Approach to Image Sharing with High-Security Threshold Structure

机译：具有高安全性阈值结构的图像共享新方法
- 作者：XIAOJING WANG;QIZHAO YUAN;HONGLIANG CAI;JIAJIA FANG
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2014年第6期
2.Approaching the Chasm at Depth Four

机译：在第四深度接近鸿沟
- 作者：ANKIT GUPTA;PRITISH KAMATH;NEERAJ KAYAL;RAMPRASAD SAPTHARISHI
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2014年第6期
- Determinant;
- permanent;
- depth-4 circuits;
- lower bounds;
- arithmetic circuits;
- partial derivatives;
3.SKIP~+: A Self-Stabilizing Skip Graph

机译：SKIP〜+：一个自稳定的跳过图
- 作者：RIKO JACOB;ANDREA RICHA;CHRISTIAN SCHEIDELER;STEFAN SCHMID;HANJO TAEUBIG
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2014年第6期
- Distributed algorithms;
- distributed systems;
- robustness;
- churn;
- peer-to-peer systems;
- self-stabilization;
- graph theory;
- overlay networks;
- performance;
4.Privacy Aware Learning

机译：隐私意识学习
- 作者：JOHN C. DUCHI;MICHAEL I. JORDAN;MARTIN J. WAINWRIGHT
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2014年第6期
- Differential privacy;
- lower bounds;
- machine learning;
- minimax convergence rates;
- saddle points;
5.Efficient Analysis of Probabilistic Programs with an Unbounded Counter

机译：无限制计数器的概率程序的高效分析
- 作者：TOMAS BRAZDIL;STEFAN KIEFER;ANTONIN KUCERA
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2014年第6期
- Markov chains;
- model-checking;
- one-counter automata;
6.Distributed Random Walks

机译：分布式随机游走
- 作者：ATISH DAS SARMA;DANUPON NANONGKAI;GOPAL PANDURANGAN;PRASAD TETALI
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第1期
- Random walks;
- random sampling;
- decentralized computation;
- distributed algorithms;
- random spanning tree;
- mixing time;
7.Invited Article Foreword

机译：特邀文章前言
- 作者：Victor Vianu
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第1期
8.Strategy Iteration Is Strongly Polynomial for 2-Player Turn-Based Stochastic Games with a Constant Discount Factor

机译：具有恒定折扣因子的两人回合制随机游戏的策略迭代是强多项式
- 作者：THOMAS DUEHOLM HANSEN;PETER BRO MILTERSEN;URI ZWICK
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第1期
9.Testing Product States, Quantum Merlin-Arthur Games and Tensor Optimization

机译：测试产品状态，量子Merlin-Arthur游戏和张量优化
- 作者：ARAM W. HARROW;ASHLEY MONTANARO
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第1期
10.Testing Closeness of Discrete Distributions

机译：测试离散分布的紧密度
- 作者：TUGKAN BATU;LANCE FORTNOW;RONITT RUBINFELD;WARREN D. SMITH;PATRICK WHITE
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第1期
- Testing properties of distributions;
- statistical distance;
- testing markov chains for mixing;
11.Steiner Tree Approximation via Iterative Randomized Rounding

机译：通过迭代随机舍入的Steiner树逼近
- 作者：JAROSLAW BYRKA;FABRIZIO GRANDONI;THOMAS ROTHVOSS;LAURA SANITA
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第1期
- Approximation algorithms;
- linear programming relaxations;
- network design;
- randomized algorithms;
12.Forbidden Information

机译：禁止信息
- 作者：LEONID A. LEVIN
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第2期
- Kolmogorov complexity;
- Turing;
- Church's thesis;
- incompleteness;
13.The Complexity of Conservative Valued CSPs

机译：保守的CSP的复杂性
- 作者：VLADIMIR KOLMOGOROV;STANISLAV ZIVNY
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第2期
- Complexity;
- dichotomy;
- valued constraint satisfaction problems;
- multi-morphisms;
- discrete optimization;
- submodularity;
14.Asynchronous Gossip

机译：异步八卦
- 作者：CHRYSSIS GEORGIOU;SETH GILBERT;RACHID GUERRAOUI;DARIUSZ R. KOWALSKI
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第2期
- Gossip;
- epidemic;
- asynchrony;
- complexity;
- adaptive versus oblivious adversary;
- randomization;
- consensus;
15.A Learning Theory Approach to Noninteractive Database Privacy

机译：非交互式数据库隐私的学习理论方法
- 作者：AVRIM BLUM;KATRINA LIGETT;AARON ROTH
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第2期
- Noninteractive database privacy;
- learning theory;
16.Invited Article Foreword

机译：特邀文章前言
- 作者：Victor Vianu
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第2期
17.Paging and List Update under Bijective Analysis

机译：双射分析下的分页和列表更新
- 作者：SPYROS ANGELOPOULOS;PASCAL SCHWEITZER
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第2期
- Paging;
- list update;
- online algorithms;
18.Clustering under Approximation Stability

机译：近似稳定性下的聚类
- 作者：MARIA-FLORINA BALCAN;AVRIM BLUM;ANUPAM GUPTA
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第2期
- Clustering;
- Approximation Algorithms;
- k-Median;
- k-Means;
- Min-Sum;
- Clustering Accuracy;
19.An In-Depth Analysis of Stochastic Kronecker Graphs

机译：随机克罗内克图的深度分析
- 作者：C. SESHADHRI;ALI PINAR;TAMARA G. KOLDA
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第2期
- graph models;
- R-MAT;
- Stochastic Kronecker Graphs (SKG);
- Graph500;
20.Relational Transducers for Declarative Networking

机译：声明式网络的关系转换器
- 作者：TOM J. AMELOOT;FRANK NEVEN;JAN VAN DEN BUSSCHE
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第2期
- Distributed database;
- relational transducer;
- monotonicity;
- expressive power;
- cloud programming;
21.The VPN Conjecture Is True

机译：VPN猜想是真的
- 作者：NAVIN GOYAL;NEIL OLVER;F. BRUCE SHEPHERD
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第3期
- Network design;
- robust optimization;
- oblivious routing;
22.Local Reasoning for Global Invariants, Part Ⅰ: Region Logic

机译：全局不变量的局部推理，第一部分：区域逻辑
- 作者：ANINDYA BANERJEE;DAVID A. NAUMANN;STAN ROSENBERG
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第3期
- Modularity;
- data abstraction;
- data invariants;
- information hiding;
- heap separation;
- resource protection;
23.Local Reasoning for Global Invariants, Part Ⅱ: Dynamic Boundaries

机译：全局不变量的局部推理，第二部分：动态边界
- 作者：ANINDYA BANERJEE;DAVID A. NAUMANN
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第3期
- Modularity;
- data abstraction;
- data invariants;
- information hiding;
- heap separation;
- resource protection;
24.Invited Article Foreword

机译：特邀文章前言
- 作者：Victor Vianu
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第3期
25.A Master Theorem for Discrete Divide and Conquer Recurrences

机译：离散除法和征服递归的主定理
- 作者：MICHAEL DRMOTA;WOJCIECH SZPANKOWSKI
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第3期
26.Model Checking Higher-Order Programs

机译：模型检查高阶程序
- 作者：NAOKI KOBAYASHI
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第3期
- Type systems;
- model checking;
- higher-order recursion schemes;
27.CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency

机译：CompCertTSO：经过验证的宽松内存并发编译器
- 作者：JAROSLAV SEVCIK;VIKTOR VAFEIADIS;FRANCESCO ZAPPA NARDELLI;SURESH JAGANNATHAN;PETER SEWELL
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第3期
- Relaxed memory models;
- semantics;
- verified compilation;
28.Decomposing Combinatorial Auctions and Set Packing Problems

机译：分解组合拍卖和装箱问题
- 作者：GEORG GOTTLOB;GIANLUIGI GRECO
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第4期
29.Matrix Sparsif ication and Nested Dissection over Arbitrary Fields

机译：任意域上的矩阵稀疏化和嵌套解剖
- 作者：NOGA ALON;RAPHAEL YUSTER
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第4期
- Gaussian elimination;
- linear system;
- nested dissection;
- matrix sparsification;
30.All-Pairs Shortest Paths in O(n~2) Time with High Probability

机译：O（n〜2）时间内全对最短路径且概率很高
- 作者：YUVAL PERES;DMITRY SOTNIKOV;BENNY SUDAKOV;URI ZWICK
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第4期
- Shortest paths;
- probabilistic analysis;
31.Invited Articles Foreword

机译：特邀文章前言
- 作者：Victor Vianu
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第4期
32.Data Exchange Beyond Complete Data

机译：超越完整数据的数据交换
- 作者：MARCELO ARENAS;JORGE PEREZ;JUAN REUTTER
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第4期
- Data exchange;
- knowledge exchange;
- data integration;
- representation system;
- metadata management;
- schema mapping;
33.The HOM Problem Is Decidable

机译：HOM问题是可以决定的
- 作者：GUILLEM GODOY;OMER GIMENEZ
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第4期
- Tree automata;
- homomorphisms;
- regular languages;
- transducers;
34.Game Semantics for a Polymorphic Programming Language

机译：多态编程语言的游戏语义
- 作者：J. LAIRD
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第4期
- Polymorphism;
- System F;
- references;
- game semantics;
- genericity;
- full abstraction;
35.Editorial: JACM Redux

机译：社论：JACM Redux
- 作者：Victor Vianu
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第5期
36.From Sylvester-Gallai Configurations to Rank Bounds: Improved Blackbox Identity Test for Depth-3 Circuits

机译：从西尔维斯特·加莱（Sylvester-Gallai）配置到等级界限：深度3电路的改进黑盒身份测试
- 作者：NITIN SAXENA;C. SESHADHRI
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第5期
- Chinese remaindering;
- combinatorial design;
- depth-3 circuit;
- ideal theory;
- identities;
- incidence geometry;
- Sylvester-Gallai;
37.Towards a Complexity Theory for Local Distributed Computing

机译：面向本地分布式计算的复杂性理论
- 作者：PIERRE FRAIGNIAUD;AMOS KORMAN;DAVID PELEG
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第5期
- Local distributed algorithms;
- local decision;
- nondeterminism;
- randomized algorithms;
- oracle;
38.Fast Matrix Rank Algorithms and Applications

机译：快速矩阵秩算法及其应用
- 作者：HO YEE CHEUNG;TSZ CHIU KWOK;LAP CHI LAU
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第5期
- Combinatorial optimization;
- exact linear algebra;
- matrix rank;
- randomized algorithm;
39.The Expressibility of Functions on the Boolean Domain,with Applications to Counting CSPs

机译：布尔域上函数的可表达性及其在计算CSP中的应用
- 作者：ANDREI A. BULATOV;MARTIN DYER;LESLIE ANN GOLDBERG;MARK JERRUM;COLIN McQUILLAN
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第5期
- Approximation algorithms;
- computational complexity;
- constraint satisfaction problems;
- counting problems;
40.The Complexity of the Counting Constraint Satisfaction Problem

机译：计数约束满足问题的复杂性
- 作者：ANDREI A. BULATOV
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第5期
- Constraint Satisfaction problem;
- counting problems;
- complexity;
- dichotomy theorem;
- homomorphism problem;
41.Testing First-Order Properties for Subclasses of Sparse Graphs

机译：测试稀疏图子类的一阶属性
- 作者：ZDENEK DVORAK;DANIEL KRAL;ROBIN THOMAS
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第5期
- First-order model checking;
- graphs with bounded expansion;
- tree-depth;
42.Random Graphs and the Parity Quantifier

机译：随机图和奇偶校验量词
- 作者：PHOKION G. KOLAITIS;SWASTIK KOPPARTV
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第5期
- Random graphs;
- zero-one laws;
- subgraph counts;
- low-degree polynomials;
- Gowers norms;
43.Invited Article Foreword

机译：特邀文章前言
- 作者：Victor Vianu
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第5期
44.Lower Bounds for Local Approximation

机译：局部逼近的下界
- 作者：MIKA GOOS;JUHO HIRVONEN;JUKKA SUOMELA
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第5期
- Approximation algorithms;
- deterministic distributed algorithms;
- edge dominating set;
- local algorithms;
- unique identifiers;
45.On Ideal Lattices and Learning with Errors over Rings

机译：关于理想格和环误差学习
- 作者：VADIM LYUBASHEVSKY;CHRIS PEIKERT;ODED REGEV
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第6期
- Lattice;
- cryptography;
- quantum computation;
- public key encryption;
- average-case hardness;
46.Tensor-Rank and Lower Bounds for Arithmetic Formulas

机译：算术公式的Tensor-Rank和下界
- 作者：RAN RAZ
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第6期
- Arithmetic circuits;
- lower bounds;
- tensor rank;
- homogenous circuits;
- multilinear circuits;
47.Persistence-Based Clustering in Riemannian Manifolds

机译：黎曼流形中基于持久性的聚类
- 作者：FREDERIC CHAZAL;LEONIDAS J. GUIBAS;STEVE Y. OUDOT;PRIMOZ SKRABA
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第6期
- Unsupervised learning;
- clustering;
- mode seeking;
- topological persistence;
- Morse theory;
- computational topology;
48.Tractable Hypergraph Properties for Constraint Satisfaction and Conjunctive Queries

机译：约束满足和结语查询的可伸缩超图属性
- 作者：DANIEL MARX
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第6期
- Constraint satisfaction;
- hypergraphs;
- hypertree width;
- fractional edge covers;
49.From Low-Distortion Norm Embeddings to Explicit Uncertainty Relations and Efficient Information Locking

机译：从低失真范数嵌入到明确的不确定性关系和有效的信息锁定
- 作者：OMAR FAWZI;PATRICK HAYDEN;PRANAB SEN
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第6期
50.Most Tensor Problems Are NP-Hard

机译：大多数张量问题是NP-Hard
- 作者：CHRISTOPHER J. HILLAR;LEK-HENG LIM
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2013年第6期
51.Probabilistic ω-Automata

机译：概率ω自动机
- 作者：CHRISTEL BAIER;MARCUS GROSSER;NATHALIE BERTRAND
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2012年第1期
- omega-regular languages;
- biichi automata;
- probabilistic automata;
- markov decision processes;
52.New Combinatorial Topology Bounds for Renaming:The Upper Bound

机译：重命名的新组合拓扑范围：上限
- 作者：ARMANDO CASTANEDA;SERGIO RAJSBAUM
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2012年第1期
- distributed computing;
- shared-memory;
- upper bound;
- combinatorial topology;
53.Polylogarithmic Concurrent Data Structures from Monotone Circuits

机译：单调电路的多对数并发数据结构
- 作者：JAMES ASPNES;HAGIT ATTIYA;KEREN CENSOR-HILLEL
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2012年第1期
- distributed computing;
- shared memory;
- max registers;
- counters;
- monotone circuits;
54.Invited Article Foreword

机译：特邀文章前言
- 作者：Victor Vianu
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2012年第1期
55.Highly Acyclic Groups, Hypergraph Covers, and the Guarded Fragment

机译：高度非循环的族，超图覆盖和受保护的片段
- 作者：MARTIN OTTO
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2012年第1期
- finite model theory;
- groups of large girth;
- guarded fragment;
- expressive completeness;
56.On the (Im)possibility of Obfuscating Programs

机译：关于混淆程序的（不可能）可能性
- 作者：BOAZ BARAK;ODED GOLDREICH;RUSSELL IMPAGLIAZZO;STEVEN RUDICH;AMIT SAHAI;SALIL VADHAN;KE YANG
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2012年第2期
57.The Notion of a Rational Convex Program, and an Algorithm for the Arrow-Debreu Nash Bargaining Game

机译：有理凸程序的概念以及Arrow-Debreu Nash讨价还价博弈的算法
- 作者：VIJAY V. VAZIRANI
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2012年第2期
- algorithms;
- economics;
- theory;
58.A Theory of Goal-Oriented Communication

机译：面向目标的传播理论
- 作者：ODED GOLDREICH;BRENDAN JUBA;MADHU SUDAN
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2012年第2期
- semantic communication;
- interoperability;
59.Continuous Sampling from Distributed Streams

机译：从分布式流连续采样
- 作者：GRAHAM CORMODE;S. MUTHUKRISHNAN;KE YI;QIN ZHANG
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2012年第2期
- distributed tracking;
- random sampling;
60.Invited Article Foreword

机译：特邀文章前言
- 作者：Victor Vianu
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2012年第2期
61.An Efficient Rigorous Approach for Identifying Statistically Significant Frequent Itemsets

机译：识别统计上重要的频繁项目集的有效严格方法
- 作者：ADAM KIRSCH;MICHAEL MITZENMACHER;ANDREA PIETRACAPRINA;GEPPINO PUCCI;ELI UPFAL;FABIO VANDIN
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2012年第3期
- frequent itemset mining;
- statistical significance;
- multi-hypothesis test;
- poisson approximation;
- false discovery rate;
62.Defining Fairness in Reactive and Concurrent Systems

机译：定义无功和并发系统中的公平性
- 作者：HAGEN VOELZER;DANIELE VARACCA
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2012年第3期
- fairness;
- concurrent systems;
- temporal properties;
- temporal logic;
- machine closure;
- game theory;
- topology;
- model checking;
63.The Power of Simple Tabulation Hashing

机译：简单列表散列的功能
- 作者：MIHAI PATRASCU;MIKKEL THORUP
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2012年第3期
- Hashing;
- tabulation;
64.Size and Treewidth Bounds for Conjunctive Queries

机译：联合查询的大小和树宽范围
- 作者：GEORG GOTTLOB;STEPHANIE TIEN LEE;GREGORY VALIANT;PAUL VALIANT
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2012年第3期
- database theory;
- conjunctive queries;
- size bounds;
- treewidth;
65.New Techniques for Noninteractive Zero-Knowledge

机译：非交互式零知识的新技术
- 作者：JENS GROTH;RAFAIL OSTROVSKY;AMIT SAHAI
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2012年第3期
66.Invited Article Foreword

机译：特邀文章前言
- 作者：Victor Vianu
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2012年第3期
67.From Almost Optimal Algorithms to Logics for Complexity Classes via Listings and a Halting Problem

机译：通过清单和停止问题，从几乎最佳的算法到复杂性类的逻辑
- 作者：YIJIA CHEN;JOERG FLUM
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2012年第4期
- optimal algorithms;
- logics for complexity classes;
- listings;
- parameterized complexity;
68.SINR Diagrams: Convexity and Its Applications in Wireless Networks

机译：SINR图：凸性及其在无线网络中的应用
- 作者：CHEN AVIN;YUVAL EMEK;EREZ KANTOR;ZVI LOTKER;DAVID PELEG;LIAM RODITTY
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2012年第4期
- wireless networks;
- SINR diagrams;
- voronoi diagrams;
- computational geometry;
- convexity;
- polynomials;
- point location;
69.Invited Article Foreword

机译：特邀文章前言
- 作者：Victor Vianu
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2012年第4期
70.Dynamic Indexability and the Optimality of B-Trees

机译：动态可索引性和B树的最优性
- 作者：KE YI
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2012年第4期
- indexability;
- B-trees;
- range query;
- lower bound;
- dynamization;
71.A Primal-Dual Randomized Algorithm for Weighted Paging

机译：加权分页的原始-对偶随机算法
- 作者：NIKHIL BANSAL;NIV BUCHBINDER;JOSEPH (SEFFI) NAOR
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2012年第4期
- weighted paging;
- online algorithms;
- randomization;
- primal-dual;
72.A Quantum Lovász Local Lemma

机译：量子骑士本地引理
- 作者：ANDRIS AMBAINIS;JULIA KEMPE;OR SATTATH
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2012年第5期
- local lemma;
- probabilistic method;
- quantum computation;
- quanum SAT;
- random quantum SAT;
73.Fixed-Point Definability and Polynomial Time on Graphs with Excluded Minors

机译：具有排除小图的图上的定点可定义性和多项式时间
- 作者：MARTIN GROHE
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2012年第5期
- descriptive complexity;
- fixed-point logics;
- graph minors;
- graph isomorphism;
74.On the Trade-Off between Network Connectivity, Round Complexity, and Communication Complexity of Reliable Message Transmission

机译：可靠消息传输的网络连通性，复杂性和通信复杂性之间的权衡
- 作者：ASHWINKUMAR BADANIDIYURU;ARPITA PATRA;ASHISH CHOUDHURY;KANNAN SRINATHAN;C. PANDU RANGAN
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2012年第5期
- distributed computing;
- computationally unbounded;
- message transmission;
75.Sublinear Optimization for Machine Learning

机译：机器学习的亚线性优化
- 作者：KENNETH L. CLARKSON;ELAD HAZAN;DAVID P. WOODRUFF
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2012年第5期
76.Approximating the Partition Function of the Ferromagnetic Potts Model

机译：逼近铁磁Potts模型的分配函数
- 作者：LESLIE ANN GOLDBERG;MARK JERRUM
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2012年第5期
- approximation algorithms;
- computation complexity;
- phase transition;
- potts model;
- random cluster model;
- statistical physics;
- tutte polynomial;
77.Invited Article Foreword

机译：特邀文章前言
- 作者：Victor Vianu
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2012年第5期
78.An Invariance Principle for Polytopes

机译：多拓扑的不变性原理
- 作者：PRAHLADH HARSHA;ADAM KLIVANS;RAGHU MEKA
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2012年第6期
- invariance;
- polytopes;
- intersection of halfspaces;
- noise sensitivity;
- agnostic learning;
- pseudorandomness;
79.Theories, Solvers and Static Analysis by Abstract Interpretation

机译：通过抽象解释进行理论，求解和静态分析
- 作者：PATRICK COUSOT;RADHIA COUSOT;LAURENT MAUBORGNE
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2012年第6期
- abstract interpretation;
- decision procedures;
- program logics;
- program verification;
- sat modulo theory;
- smt solver;
- semantics;
- static analysis;
- theorem proving;
80.The Effectiveness of Lloyd-Type Methods for the k-Means Problem

机译：劳埃德型方法对k均值问题的有效性
- 作者：RAFAIL OSTROVSKY;YUVAL RABANI;LEONARD J. SCHULMAN;CHAITANYA SWAMY
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2012年第6期
- randomized algorithms;
- approximation algorithms;
81.The Dichotomy of Probabilistic Inference for Unions of Conjunctive Queries

机译：结语查询并集的概率推断二分法
- 作者：NILESH DALVI;DAN SUCIU
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2012年第6期
- mobius function;
- mobius inversion formula;
- probabilistic database;
82.Graph Expansion and Communication Costs of Fast Matrix Multiplication

机译：快速矩阵乘法的图展开和通信成本
- 作者：GREY BALLARD;JAMES DEMMEL;OLGA HOLTZ;ODED SCHWARTZ
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2012年第6期
- communication-avoiding algorithms;
- fast matrix multiplication;
- I/O- complexity;
83.Invited Articles Section Foreword

机译：特邀文章部分前言
- 作者：Victor Vianu
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2011年第1期
84.Epistemic Privacy

机译：认知隐私
- 作者：ALEXANDRE EVFIMIEVSKI;RONALD FAGIN;DAVID WOODRUFF
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2011年第1期
- auditing;
- disclosure;
- privacy;
- query logs;
- reasoning about knowledge;
- supermodularity;
- positivstellensatz;
85.Approximation Algorithms for Restless Bandit Problems

机译：躁动性强盗问题的近似算法
- 作者：SUDIPTO GUHA;KAMESH MUNAGALA;PENG SHI
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2011年第1期
- approximation algorithms;
- stochastic control;
- multi-armed bandits;
- restless bandits;
86.XML with Incomplete Information

机译：信息不完整的XML
- 作者：PABLO BARCELO;LEONID LIBKIN;ANTONELLA POGGI;CRISTINA SIRANGELO
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2011年第1期
- XML;
- incomplete information;
- query answering;
- certain answers;
- consistency;
- membership;
87.Randomized Algorithms for Estimating the Trace of an Implicit Symmetric Positive Semi-Definite Matrix

机译：隐式对称正半定矩阵的迹线估计的随机算法
- 作者：HAIM AVRON;SIVAN TOLEDO
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2011年第2期
- trace estimation;
- implicit linear operators;
88.On P vs. NP and Geometric Complexity Theory Dedicated to Sri Ramakrishna

机译：P对NP和专门给Sri Ramakrishna的几何复杂性理论
- 作者：KETAN D. MULMULEY
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2011年第2期
- geometric complexity theory;
- p;
- np;
89.Delaunay Triangulations in O(sort(n)) Time and More

机译：O（sort（n））时间及更多时间中的Delaunay三角剖分
- 作者：KEVIN BUCHIN;WOLFGANG MULZER
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2011年第2期
- convex hull;
- delaunay triangulation;
- word ram;
90.Dynamic Atomic Storage without Consensus

机译：没有共识的动态原子存储
- 作者：MARCOS K. AGUILERA;IDIT KEIDAR;DAHLIA MALKHI;ALEXANDER SHRAER
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2011年第2期
- shared-memory emulations;
- dynamic systems;
- atomic storage;
91.On the Competitive Ratio of Evaluating Priced Functions

机译：关于定价函数的竞争比
- 作者：FERDINANDO CICALESE;EDUARDO SANY LABER
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2011年第3期
- function evaluation;
- monotone boolean functions;
- competitive analysis;
- priced information;
92.Market Equilibrium under Separable, Piecewise-Linear, Concave Utilities

机译：可分离的分段线性凹面公用事业下的市场均衡
- 作者：VIJAY V. VAZIRANI;MIHALIS YANNAKAKIS
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2011年第3期
- market equilibria;
- piecewise-linear utilities;
- arrow-debreu market;
- fisher market;
- PPAD;
93.Robust Principal Component Analysis?

机译：稳健的主成分分析？
- 作者：EMMANUEL J. CANDES;XIAODONG LI;Yl MA;JOHN WRIGHT
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2011年第3期
- principal components;
- robustness vis-a-vis outliers;
- nuclear-norm minimization;
- l_1-norm minimization;
- duality;
- low-rank matrices;
- sparsity;
- video surveillance;
94.Introduction to JACM Invited Article

机译：JACM受邀文章简介
- 作者：Victor Vianu
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2011年第3期
95.Estimating PageRank on Graph Streams

机译：在图流上估计PageRank
- 作者：ATISH DAS SARMA;SREENIVAS GOLLAPUDI;RINA PANIGRAHY
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2011年第3期
- algorithms;
- graph conductance;
- mixing time;
- pagerank;
- random walk;
- streaming algorithms;
96.Online Geometric Reconstruction

机译：在线几何重建
- 作者：BERNARD Chazelle;C. Seshadhri
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2011年第4期
- computational geometry;
- sublinear algorithms;
97.Invited Articles Foreword

机译：特邀文章前言
- 作者：Victor Vianu
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2011年第4期
98.XPath Evaluation in Linear Time

机译：线性时间中的XPath评估
- 作者：MIKOLAJ Bojariczyk;PAWEL Parys
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2011年第4期
- tree with data;
- xml;
- xpath;
99.Breaking the O ri Bit Barrier: Scalable Byzantine Agreement with an Adaptive Adversary

机译：打破Ori比特障碍：带有自适应对手的可扩展拜占庭协议
- 作者：VALERIE KING;JARED SAIA
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2011年第4期
- byzantine agreement;
- consensus;
- samplers;
- peer-to-peer;
- secret-sharing;
- monte carlo algorithms;
- distributed computing;
100.ACM Transactions on Autonomous and Adaptive Systems

机译：自主和自适应系统上的ACM事务
- 期刊名称：《Journal of the Association for Computing Machinery》 | 2011年第4期

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有出版物经营许可证

客服微信
服务号