首页>外文会议>Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on

Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on

召开年：2001
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Tight approximation results for general covering integer programs

机译：一般覆盖整数程序的紧逼近结果
- 作者：Kolliopoulos S.G.;Young N.E.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
2.42nd IEEE Symposium On Foundations Of Computer Science

机译：第42届IEEE计算机科学基础研讨会
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
3.Approximate shape fitting via linearization

机译：通过线性化进行近似形状拟合
- 作者：Har-Peled S.;Varadarajan K.R.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
4.Building low-diameter P2P networks

机译：建立小直径的P2P网络
- 作者：Pandurangan G.;Raghavan P.;Upfal E.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
5.Fast Monte-Carlo algorithms for approximate matrix multiplication

机译：快速蒙特卡洛算法，用于近似矩阵乘法
- 作者：Drineas P.;Kannan R.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
6.Fully dynamic all pairs shortest paths with real edge weights

机译：全动态全对最短路径，具有真实边缘权重
- 作者：Demetrescu C.;Italiano G.F.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
7.Semi-direct product in groups and zig-zag product in graphs: connections and applications

机译：组中的半直接产品和图中的之字形产品：连接和应用
- 作者：Alon N.;Lubotzky A.;Wigderson A.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
8.The complexity of factors of multivariate polynomials

机译：多元多项式因子的复杂度
- 作者：Burgisser P.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
9.Vickrey prices and shortest paths: what is an edge worth?

机译：Vickrey的价格和最短的路径：优势价值何在？
- 作者：Hershberger J.;Suri S.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
10.An iterative rounding 2-approximation algorithm for the element connectivity problem

机译：单元连通性问题的迭代舍入2-逼近算法
- 作者：Fleischer L.;Jain K.;Williamson D.P.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
11.Approximating directed multicuts

机译：近似定向多切
- 作者：Cheriyan J.;Karloff H.;Rabani Y.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
12.Approximation algorithms for the job interval selection problem and related scheduling problems

机译：作业间隔选择问题和相关调度问题的近似算法
- 作者：Chuzhoy J.;Ostrovsky R.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
13.How powerful is adiabatic quantum computation?

机译：绝热量子计算有多强大？
- 作者：van Dam W.;Mosca M.;Vazirani U.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
14.Informational complexity and the direct sum problem for simultaneous message complexity

机译：信息复杂性和同时发生消息复杂性的直接和问题
- 作者：Chakrabarti A.;Yaoyun Shi;Wirth A.;Yao A.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
15.Linear-time recognition of circular-arc graphs

机译：圆弧图的线性时间识别
- 作者：McConnell R.M.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
16.Randomly colouring graphs with lower bounds on girth and maximum degree

机译：对周长和最大度数有下限的图形进行随机着色
- 作者：Dyer M.;Frieze A.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
17.S/sub 2/ ZPP/sup NP/

机译：S / sub 2 / ZPP / sup NP /
- 作者：Jin-Yi Cai
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
18.Sequential and parallel algorithms for mixed packing and covering

机译：混合包装和覆盖的顺序和并行算法
- 作者：Young N.E.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
19.Spectral partitioning of random graphs

机译：随机图的光谱划分
- 作者：McSherry F.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
20.Unique sink orientations of cubes

机译：立方体的独特水槽方向
- 作者：Szabo T.;Welzl E.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
21.'Planar' tautologies hard for resolution

机译：难以解决的“平面”重言式
- 作者：Dantchev S.;Riis S.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
22.A Ramsey-type theorem for metric spaces and its applications for metrical task systems and related problems

机译：度量空间的Ramsey型定理及其在度量任务系统和相关问题中的应用
- 作者：Bartal Y.;Bollobas B.;Mendel M.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
23.A replacement for voronoi diagrams of near linear size

机译：近似线性尺寸的voronoi图的替代品
- 作者：Har-Peled S.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
24.Almost tight upper bounds for vertical decompositions in four dimensions

机译：二维垂直分解的几乎上限
- 作者：Koltun V.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
25.Arc-disjoint paths in expander digraphs

机译：展开图有弧线的不相交路径
- 作者：Bohman T.;Frieze A.
- 会议名称：《》 | 2001年
26.Clustering motion

机译：聚类运动
- 作者：Har-Peled S.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
27.Compact oracles for reachability and approximate distances in planar digraphs

机译：用于平面图的可达性和近似距离的紧凑预言
- 作者：Thorup M.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
28.Counting axioms do not polynomially simulate counting gates

机译：计数公理不能多项式模拟计数门
- 作者：Impagliazzo R.;Segerlind N.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
29.Designing networks for selfish users is hard

机译：为自私的用户设计网络很难
- 作者：Roughgarden T.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
30.Designing networks incrementally

机译：逐步设计网络
- 作者：Meyerson A.;Munagala K.;Plotkin S.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
31.Deterministic computation of the Frobenius form

机译：Frobenius形式的确定性计算
- 作者：Storjohann A.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
32.Distributions on level-sets with applications to approximation algorithms

机译：水平集上的分布及其在近似算法中的应用
- 作者：Srinivasan A.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
33.Expander-based constructions of efficiently decodable codes

机译：基于扩展器的有效可解码代码构造
- 作者：Guruswami V.;Indyk P.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
34.Extractors from reed-muller codes

机译：芦苇穆勒码的提取器
- 作者：Ta-Shma A.;Zuckerman D.;Safra S.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
35.Facility location with nonuniform hard capacities

机译：设施位置的硬容量不一致
- 作者：Pal M.;Tardos T.;Wexler T.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
36.How to go beyond the black-box simulation barrier

机译：如何超越黑盒模拟障碍
- 作者：Barak B.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
37.Improved inapproximability results for maxclique, chromatic number and approximate graph coloring

机译：改善了最大斜率，色数和近似图着色的不逼近结果
- 作者：Khot S.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
38.Lower bounds for matrix product

机译：矩阵乘积的下界
- 作者：Shpilka A.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
39.Lower bounds for polynomial calculus: non-binomial case

机译：多项式演算的下界：非二项式情况
- 作者：Alekhnovich M.;Razborov A.A.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
40.Lower bounds for quantum communication complexity

机译：量子通信复杂性的下界
- 作者：Klauck H.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
41.On the average-case hardness of CVP

机译：关于CVP的平均情况硬度
- 作者：Jin-Yi Cai
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
42.On the complexity of many faces in arrangements of circles

机译：关于圈子排列中许多面孔的复杂性
- 作者：Agarwal P.K.;Aronov B.;Sharir M.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
43.On the impossibility of basing trapdoor functions on trapdoor predicates

机译：关于陷门函数基于陷门谓词的可能性
- 作者：Gertner Y.;Malkin T.;Reingold O.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
44.Planar graphs, negative weight edges, shortest paths, and near linear time

机译：平面图，负负边，最短路径和接近线性时间
- 作者：Fakcharoenphol J.;Rao S.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
45.Query efficient PCPs with perfect completeness

机译：以完美的完整性查询高效的PCP
- 作者：Hastad J.;Khot S.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
46.Random evolution in massive graphs

机译：大量图的随机演化
- 作者：Aiello W.;Fan Chung;Linyuan Lu
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
47.Resettably-sound zero-knowledge and its applications

机译：可重置的零知识及其应用
- 作者：Barak B.;Goldreich O.;Goldwasser S.;Lindell Y.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
48.Resolution is not automatizable unless WP is tractable

机译：除非W P易于处理，否则分辨率无法自动执行
- 作者：Alekhnovich M.;Razboro A.A.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
49.Simple extractors for all min-entropies and a new pseudo-random generator

机译：适用于所有最小熵的简单提取器和新的伪随机数生成器
- 作者：Shaltiel R.;Umans C.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
50.Simple routing strategies for adversarial systems

机译：对抗系统的简单路由策略
- 作者：Awerbuch B.;Berenbrink P.;Brinkmann A.;Scheideler C.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
51.Sorting and selection with structured costs

机译：带有结构化成本的分类和选择
- 作者：Gupta A.;Kumar A.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
52.Source routing and scheduling in packet networks

机译：分组网络中的源路由和调度
- 作者：Andrews M.;Fernandez A.;Goel A.;Zhang L.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
53.Testing random variables for independence and identity

机译：测试随机变量的独立性和身份
- 作者：Batu T.;Fischer E.;Fortnow L.;Kumar R.;Rubinfeld R.;White P.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
54.The confluence of ground term rewrite systems is decidable in polynomial time

机译：地面项重写系统的合流在多项式时间内是可确定的
- 作者：Comon H.;Godoy G.;Nieuwenhuis R.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
55.The natural work-stealing algorithm is stable

机译：自然偷窃算法稳定
- 作者：Berenbrink P.;Friedetzky T.;Goldberg L.A.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
56.Three theorems regarding testing graph properties

机译：关于测试图属性的三个定理
- 作者：Goldreich O.;Trevisan L.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
57.Traveling with a PEZ dispenser (or, routing issues in MPLS)

机译：使用PEZ分配器旅行（或MPLS中的路由问题）
- 作者：Gupta A.;Kumar A.;Rastogi R.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
58.Truthful mechanisms for one-parameter agents

机译：一参数代理的真实机制
- 作者：Archer A.;Tardos E.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
59.Universally composable security: a new paradigm for cryptographic protocols

机译：通用组合安全性：加密协议的新范例
- 作者：Canetti R.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
60.Web search via hub synthesis

机译：通过集线器综合进行网络搜索
- 作者：Achlioptas D.;Fiat A.;Karlin A.R.;McSherry F.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
61.Glauber dynamics on trees and hyperbolic graphs

机译：树和双曲图的Glauber动力学
- 作者：Kenyon C.;Mossel E.;Peres Y.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
62.Algorithmic applications of low-distortion geometric embeddings

机译：低失真几何嵌入的算法应用
- 作者：Indyk P.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
63.Coding theory: tutorial survey

机译：编码理论：教程与调查
- 作者：Sudan M.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
64.Game theory and mathematical economics: a theoretical computer scientist's introduction

机译：博弈论与数学经济学：理论计算机科学家的介绍
- 作者：Papadimitriou C.H.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
65.Online facility location

机译：在线设施位置
- 作者：Meyerson A.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年
66.Testing subgraphs in large graphs

机译：在大图中测试子图
- 作者：Alon N.
- 会议名称：《Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium on》 | 2001年