首页>外文会议>Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on

Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on

召开年：1996
召开地：Burlington, VT
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Proceedings of 37th Conference on Foundations of Computer Science

机译：第三十七届计算机科学基础会议论文集
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
2.Universal data compression and portfolio selection

机译：通用数据压缩和产品组合选择
- 作者：Cover T.M.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
3.Verifying identities

机译：验证身份
- 作者：Rajagopalan S.;Schulman L.J.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
4.Approximate strip packing

机译：带状包装
- 作者：Kenyon C.;Remila E.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
5.Computationally hard algebraic problems

机译：计算困难的代数问题
- 作者：Rabin M.O.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
6.Computing permanents over fields of characteristic 3: where and why it becomes difficult

机译：在特征3的字段上计算永久物：在何处以及为何变得困难
- 作者：Kogan;G.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
7.Faster deterministic sorting and searching in linear space

机译：在线性空间中更快地进行确定性排序和搜索
- 作者：Andersson A.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
8.A 3-approximation for the minimum tree spanning k vertices

机译：跨越k个顶点的最小树的3逼近
- 作者：Garg N.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
9.A decision procedure for unitary linear quantum cellular automata

机译：ary线性量子细胞自动机的决策程序
- 作者：Durr C.;Santha M.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
10.Temporal logic and semidirect products: an effective characterization of the until hierarchy

机译：时间逻辑和半直接乘积：直到层次结构的有效表征
- 作者：Therien;D.;Wilke;T.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
11.The optimal path-matching problem

机译：最优路径匹配问题
- 作者：Cunningham W.H.;Geelen J.F.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
12.Efficient approximate and dynamic matching of patterns using a labeling paradigm

机译：使用标签范例对模式进行有效的近似和动态匹配
- 作者：Sahinalp;S.C.;Vishkin;U.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
13.Maximum likelihood decoding of Reed Solomon codes

机译：里德所罗门码的最大似然解码
- 作者：Sudan M.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
14.A polynomial-time algorithm for learning noisy linear threshold functions

机译：学习噪声线性阈值函数的多项式时间算法
- 作者：Blum;A.;Frieze;A.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
15.Sampling according to the multivariate normal density

机译：根据多元正态密度采样
- 作者：Kannan R.;Guangxing Li
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
16.Simplified and improved resolution lower bounds

机译：简化并提高分辨率的下界
- 作者：Beame P.;Pitassi T.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
17.The Boolean isomorphism problem

机译：布尔同构问题
- 作者：Agrawal M.;Thierauf T.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
18.The geometry of coin-weighing problems

机译：硬币称重问题的几何
- 作者：Alon N.;Kozlov D.N.;Vu V.H.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
19.The regularity lemma and approximation schemes for dense problems

机译：稠密问题的正则引理和逼近方案
- 作者：Frieze A.;Kannan R.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
20.All pairs almost shortest paths

机译：所有配对几乎都是最短路径
- 作者：Dor D.;Halperin S.;Zwick U.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
21.An 8-approximation algorithm for the subset feedback vertex set problem

机译：子集反馈顶点集问题的8近似算法
- 作者：Even;G.;Naor;J.S.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
22.An efficient algorithm for constructing minimal trellises for codes over finite Abelian groups

机译：在有限阿贝尔群上构造最小网格的有效算法
- 作者：Vazirani;V.V.;Saran;H.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
23.Approximate checking of polynomials and functional equations

机译：多项式和函数方程的近似检查
- 作者：Ergun F.;Kumar S.R.;Rubinfeld R.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
24.Approximate option pricing

机译：近似期权定价
- 作者：Chalasani P.;Jha S.;Saias I.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
25.Approximating minimum-size k-connected spanning subgraphs via matching

机译：通过匹配逼近最小尺寸k-连接的跨子图
- 作者：Cheriyan;J.;Thurimella;R.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
26.Binary space partitions for fat rectangles

机译：粗矩形的二进制空间分区
- 作者：Agarwal P.K.;Grove E.F.;Murali T.M.;Vitter J.S.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
27.Clique is hard to approximate within n/sup 1-/spl epsiv//

机译：Clique很难在n / sup 1- / spl epsiv //之内近似
- 作者：Hastad;J.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
28.Computing vertex connectivity: new bounds from old techniques

机译：计算顶点连接性：旧技术带来的新局限
- 作者：Henzinger M.R.;Rao S.;Gabow H.N.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
29.Deterministic routing with bounded buffers: turning offline into online protocols

机译：具有有限缓冲区的确定性路由：将离线变为在线协议
- 作者：Meyer auf der Heide;F.;Scheideler;C.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
30.Discrepancy sets and pseudorandom generators for combinatorial rectangles

机译：组合矩形的差异集和伪随机数生成器
- 作者：Armoni;R.;Saks;M.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
31.Efficient information gathering on the Internet

机译：互联网上高效的信息收集
- 作者：Etzioni O.;Hanks S.;Jiang T.;Karp R.M.;Madani O.;Waarts O.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
32.Efficient self-testing/self-correction of linear recurrences

机译：线性递归的有效自检/自校正
- 作者：Kumar S.R.;Sivakumar D.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
33.Equivalence in finite-variable logics is complete for polynomial time

机译：有限变量逻辑的等价在多项式时间内完成
- 作者：Grohe;M.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
34.Factoring graphs to bound mixing rates

机译：分解图以约束混合速率
- 作者：Madras N.;Randall D.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
35.Fast fault-tolerant concurrent access to shared objects

机译：快速容错并发访问共享对象
- 作者：Plaxton C.G.;Rajaraman R.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
36.Fault tolerant data structures

机译：容错数据结构
- 作者：Aumann Y.;Bender M.A.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
37.Fault-tolerant quantum computation

机译：容错量子计算
- 作者：Shor P.W.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
38.Gadgets, approximation, and linear programming

机译：小工具，近似和线性编程
- 作者：Trevisan L.;Sorkin G.B.;Sudan M.;Williamson D.P.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
39.Highly fault-tolerant parallel computation

机译：高度容错的并行计算
- 作者：Spielman D.A.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
40.Incoercible multiparty computation

机译：顽固的多方计算
- 作者：Canetti R.;Gennaro R.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
41.Learning linear transformations

机译：学习线性变换
- 作者：Frieze A.;Jerrum M.;Kannan R.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
42.Load balancing and density dependent jump Markov processes

机译：负载平衡和密度相关的跳跃马尔可夫过程
- 作者：Mitzenmacher M.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
43.Median selection requires (2+/spl epsiv/)n comparisons

机译：中位数选择需要（2 + / spl epsiv /）n个比较
- 作者：Dor;D.;Zwick;U.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
44.Near-optimal parallel prefetching and caching

机译：接近最佳的并行预取和缓存
- 作者：Kimbrel T.;Karlin A.R.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
45.New algorithms for the disk scheduling problem

机译：磁盘调度问题的新算法
- 作者：Andrews M.;Bender M.A.;Zhang L.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
46.New coding techniques for improved bandwidth utilization

机译：新的编码技术可提高带宽利用率
- 作者：Adler M.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
47.New lower bounds for halfspace emptiness

机译：半空间空的新下界
- 作者：Erickson J.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
48.A general approach to dynamic packet routing with bounded buffers

机译：具有有限缓冲区的动态数据包路由的一般方法
- 作者：Broder A.Z.;Frieze A.M.;Upfal E.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
49.A new rounding procedure for the assignment problem with applications to dense graph arrangement problems

机译：用于分配问题的新舍入程序，适用于密集图排列问题
- 作者：Arora;S.;Frieze;A.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
50.On the applications of multiplicity automata in learning

机译：论多重自动机在学习中的应用
- 作者：Beimel A.;Bergadano F.;Bshouty N.H.;Kushilevitz E.;Varricchio S.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
51.On the knowledge complexity of /spl Nscr//spl Pscr/

机译：关于/ spl Nscr // spl Pscr /的知识复杂性
- 作者：Petrank;E.;Tardos;G.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
52.Optimal dynamic interval management in external memory

机译：外部存储器中的最佳动态间隔管理
- 作者：Arge L.;Vitter J.S.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
53.Path coloring on the mesh

机译：网格上的路径着色
- 作者：Rabani Y.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
54.Polynomial simulations of decohered quantum computers

机译：解干量子计算机的多项式仿真
- 作者：Aharonov D.;Ben-Or M.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
55.Polynomial time approximation schemes for Euclidean TSP and other geometric problems

机译：欧氏TSP和其他几何问题的多项式时间逼近方案
- 作者：Arora;S.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
56.Potential of the approximation method

机译：近似法的潜力
- 作者：Amano K.;Maruoka A.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
57.Probabilistic approximation of metric spaces and its algorithmic applications

机译：度量空间的概率逼近及其算法应用
- 作者：Bartal;Y.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
58.Property testing and its connection to learning and approximation

机译：属性测试及其与学习和近似的联系
- 作者：Goldreich O.;Goldwasser S.;Ron D.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
59.Pseudorandom functions revisited: the cascade construction and its concrete security

机译：重新探讨伪随机函数：级联构造及其具体安全性
- 作者：Bellare;M.;Canetti;R.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
60.Short paths in expander graphs

机译：扩展器图中的短路径
- 作者：Kleinberg J.;Rubinfeld R.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
61.Single-source unsplittable flow

机译：单源不可拆分流
- 作者：Kleinberg J.M.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
62.Solving systems of polynomial congruences modulo a large prime

机译：以大素数为模的多项式同余解系统
- 作者：Ming-Deh Huang;Yiu-Chung Wong
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
63.Spectral partitioning works: planar graphs and finite element meshes

机译：光谱分割工作：平面图和有限元网格
- 作者：Spielmat;D.A.;Shang-Hua Teng
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
64.Static dictionaries on AC/sup 0/ RAMs: query time /spl theta/(/spl radic/log n/log log n) is necessary and sufficient

机译：AC / sup 0 / RAM上的静态词典：查询时间/ spl theta /（/ spl radic / log n / log log n）是必要且足够的
- 作者：Andersson;A.;Miltersen;P.B.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
65.Tree data structures for N-body simulation

机译：用于N体仿真的树数据结构
- 作者：Anderson R.J.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年
66.Universal stability results for greedy contention-resolution protocols

机译：贪婪争用解决方案的通用稳定性结果
- 作者：Andrews;M.;Awerbuch;B.
- 会议名称：《Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on》 | 1996年