掌桥科研
一站式科研服务平台
学术工具
文档翻译
论文查重
文档转换
收录引用
科技查新
期刊封面封底
自科基金
外文数据库(机构版)
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文期刊
>
计算机、自动化
>
Journal of Computer and System Sciences
Journal of Computer and System Sciences
SCI
EI
中文名称:计算机与系统科学学报
ISSN:
0022-0000
出版周期:
发文量:59
期刊论文
热门论文
年度选择
1999
第1期
第1期
第2期
第2期
第3期
第3期
1998
第1期
第3期
更多>>
全选(
0
)
清除
导出
1.
Topological Queries in Spatial Databases
机译:
空间数据库中的拓扑查询
作者:
C. H. Papadimitriou
;
D. Suciu
;
V. Vianu
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第1期
2.
The Space Complexity of Approximating the Frequency Moments
机译:
近似频率矩的空间复杂度
作者:
Noga Alon
;
Yossi Matias
;
Mario Szegedy
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第1期
3.
On the Learnability of Rich Function Classes
机译:
丰富函数类的可学习性
作者:
Joel Ratsaby
;
Vitaly Maiorov
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第1期
关键词:
PAC learning;
computational learning theory;
informa-;
4.
Managing Conflicts between Rules
机译:
管理规则之间的冲突
作者:
H. V. Jagadish
;
Alberto O. Mendelzon
;
Inderpal Singh Mumick
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第1期
5.
Combining Fuzzy Information from Multiple Systems
机译:
结合来自多个系统的模糊信息
作者:
Ronald Fagin
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第1期
6.
Characterizing Linear Size Circuits in Terms of Privac
机译:
根据保密性表征线性电路
作者:
Eyal Kushilevitz
;
Rafail Ostrovsky
;
Adi Rosen
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第1期
7.
A Self-Stabilizing Distributed Algorithm to Find the Median of a Tree Graph
机译:
寻找树图中位数的自稳定分布式算法
作者:
Gheorghe Antonoiu
;
Pradip K. Srimani
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第1期
8.
A Note on the Influence of an ∈- Biased Random Source
机译:
关于有偏随机源影响的一个注记
作者:
Amir Ben-Dor
;
Anna Karlin
;
Nathan Linial
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第1期
9.
Temporal Connectives versus Explicit Timestamps to Query Temporal Databases*
机译:
时间连接词与显式时间戳查询时间数据库*
作者:
Serge Abiteboul
;
Laurent Herr
;
Jan Van den Bussche
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第1期
10.
Polynomial Time Approximation Schemes for Dense Instances of NP- Hard Problemsl
机译:
NP- Hard问题的稠密实例的多项式时间近似方案
作者:
Sanjeev Arora
;
David Karger
;
Marek Karpinski
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第1期
11.
Paging against a Distribution and IP Networking
机译:
分页分发和IP网络
作者:
Carsten Lund
;
Steven Phillips
;
Nick Reingold
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第1期
12.
On the Boosting Ability of Top--Down Decision Tree Learning Algorithms
机译:
自顶向下决策树学习算法的提升能力
作者:
Michael Kearns
;
Yishay Mansour
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第1期
13.
Mining Optimized Association Rules for Numeric Attributes
机译:
挖掘数字属性的优化关联规则
作者:
Takeshi Fukuda
;
Yasuhiko Morimoto
;
Shinichi Morishita
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第1期
14.
Extractina Randomness: A Survey and New Constructions
机译:
抽提随机性:调查和新结构
作者:
Noam Nisan
;
Amnon Ta-Shma
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第1期
15.
Deciding the Vapnik-Cervonenkis Dimension is ∑_3~p-complete
机译:
确定Vapnik-Cervonenkis维度为∑_3〜p-complete
作者:
Marcus Schacfer
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第1期
16.
Maximal Machine Learnable Classes
机译:
最高机器学习课程
作者:
John Case
;
Mark A. Fulk
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第1期
17.
Answerino Queries Using Limited External Query Processors
机译:
使用有限的外部查询处理器的Answerino查询
作者:
Alon Y. Levy
;
Jeffrey D. Ullman
;
Anand Rajaraman
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第1期
18.
Analysis of Practical Backoff Protocols for Contention Resolution with Multiple Servers
机译:
用于多服务器争用解决的实用退避协议的分析
作者:
Leslie Ann Goldberg
;
Philip D. MacKenzie
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第1期
19.
A Constant-Factor Approximation Algorithm for the k- MST Problem
机译:
k-MST问题的常数因子近似算法
作者:
Avrim Blum
;
R. Ravi
;
Santosh Vempala
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第1期
20.
Transforming Curves on Surfaces*
机译:
变换曲面上的曲线*
作者:
Tamal K. Dey
;
Sumanta Guha
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第2期
关键词:
combinatorial group theory;
computation;
curve;
fundamental;
21.
Synthesizers and Their Application to the Parallel Construction of Pseudo- Random Functions
机译:
合成器及其在伪随机函数并行构造中的应用
作者:
Moni Naor
;
Omer Reingold
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第2期
22.
BP_H SPACE(S ) is contained in DSPACE(S~3/2 )
机译:
BP_H SPACE(S)包含在DSPACE(S〜3/2)中
作者:
Michael Saks
;
Shiyu Zhout
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第2期
关键词:
matrix exponentiation;
space bounded computation;
pseudo- random generator.;
23.
An Exponential Lower Bound for the Size of Monotone Real Circuits
机译:
单调实电路的大小的指数下界
作者:
Armin Haken
;
Stephen A. Cook
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第2期
24.
Algorithms for Matrix Groups and the Tits Alternative
机译:
矩阵组的算法和山雀替代
作者:
Robert Beals
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第2期
25.
Sparse Hard Sets for P: Resolution of a Conjecture of Hartmanis
机译:
P的稀疏硬集:Hartmanis猜想的解决
作者:
Jin-Yi Cai
;
D. Sivakumar
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第2期
26.
Regular Path Queries with Constraints
机译:
有约束的常规路径查询
作者:
Serge Abiteboul
;
Victor Vianu
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第3期
27.
The Computational Complexity of Some Problems of Linear Algebra
机译:
线性代数若干问题的计算复杂度
作者:
Jonathan F. Buss
;
Gudmund S. Frandsen
;
Jeffrey O. Shallit
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第3期
28.
The Complexity of Finding a Second Hamiltonian Cycle in Cubic Graphs
机译:
在三次图中找到第二个哈密顿循环的复杂性
作者:
Adam Krawczyk
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第3期
29.
Cut and Paste
机译:
剪切和粘贴
作者:
Giansalvatore Mecca
;
Paolo Atzeni
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第3期
30.
Attractors of Linear Cellular Automata
机译:
线性元胞自动机的吸引子
作者:
Giovanni Manzini
;
Luciano Margara
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第3期
31.
Complete Geometric Query Languages
机译:
完整的几何查询语言
作者:
Marc Gyssens
;
Jan Van den Bussche
;
Dirk Van Gucht
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第3期
32.
Reasonina about Strings in Databases
机译:
关于数据库中字符串的原因
作者:
Gosta Grahne
;
Matti Nykanen
;
Esko Ukkonen
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第1期
33.
On Membership Comparable Sets
机译:
关于成员资格可比集
作者:
D. Sivakumar
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第1期
34.
A Technique for Proving Decidability of Containment and Equivalence of Linear Constraint Queries
机译:
证明线性约束查询的包含性和等价性的一种技术
作者:
Oscar H. Ibarra
;
Jianwen Su
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第1期
35.
A Self-Stabilizing Algorithm for Detecting Fundamental Cycles in a Graph
机译:
用于检测图中基本周期的自稳定算法
作者:
Pranay Chaudhuri
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第1期
36.
Replication and Consistency in a Distributed Environment
机译:
分布式环境中的复制和一致性
作者:
Yuri Breitbart
;
Henry F. Korth
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第1期
37.
The Learnability of Unions of Two Rectangles in the Two- Dimensional Discretized Space
机译:
二维离散空间中两个矩形并集的可学习性
作者:
Zhixiang Chen
;
Foued Ameur
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第1期
38.
Constraint- Generating Dependencies
机译:
约束生成依赖
作者:
Marianne Baudinet
;
Jan Chomicki
;
Pierre Wolper
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第1期
39.
Hard Sets Are Hard to Find
机译:
很难找到硬集
作者:
Harry Buhrman
;
Dieter van Melkebeek
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第2期
40.
Computational Indistinguishability: A Sample Hierarchy
机译:
计算不可区分性:示例层次结构
作者:
Oded Goldreich
;
Madhu Sudan
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第2期
关键词:
computational indistinguishability;
polynomials;
extractors;
41.
Complexity Limitations on Quantum Computation
机译:
量子计算的复杂度限制
作者:
Lance Fortnow
;
John Rogers
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第2期
42.
Arthur--Merlin Games in Boolean Decision Trees
机译:
布尔决策树中的Arthur-Merlin游戏
作者:
Ran Raz
;
Gabor Tardos
;
Oleg Verbitsky
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第2期
43.
Approximating the SVP to within a Factor (1 + 1/dim~ε) Is NP-Hard under Randomized Reductions
机译:
在随机归约下,将SVP逼近因子(1 + 1 / dim〜ε)为NP-Hard
作者:
Jin-Yi Cai
;
Ajay Nerurkar
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第2期
44.
On Arithmetic Branching Programs
机译:
关于算术分支程序
作者:
Amos Beimel
;
Anna Gal
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第2期
关键词:
algebraic models of computation;
arithmetic branching programs;
45.
Two Queries
机译:
两个查询
作者:
Harry Buhrman
;
Lance Fortnow
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第2期
46.
Space- Bounded Quantum Complexity'
机译:
空间有限的量子复杂性
作者:
John Watrous
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第2期
47.
Isolation, Matching, and Counting Uniform and Nonuniform Upper Bounds
机译:
隔离,匹配和计算均匀和非均匀上限
作者:
Eric Allender
;
Klaus Reinhardt
;
Shiyu Zhou
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第2期
48.
Structure of the Invertible CA Transformations Group
机译:
可逆CA转换组的结构
作者:
Leo Liberti
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第3期
49.
BistabIe Versions of the Marriages and Roommates Problems
机译:
婚姻和室友问题的双歧版本
作者:
B. P. Weems
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第3期
50.
Analysis of Two Gradient- Based Algorithms for On - Line Regression
机译:
两种基于梯度的在线回归算法分析
作者:
Nicolo Cesa-Bianchi
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第3期
51.
Selective Mu - Calculus and Formula- Based Equivalence of Transition Systems
机译:
过渡系统的选择性Mu演算和基于公式的等价
作者:
Roberto Barbuti
;
Nicoletta De Francesco
;
Antonella Santone
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第3期
关键词:
labeled transition systems;
bisimulation equivalences;
temporal;
52.
Petri Nets and Regular Processes
机译:
Petri网和常规流程
作者:
Petr Jancar
;
Javier Esparza
;
Faron Moller
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第3期
53.
Petri Net Languages and Infinite Subsets of N~m
机译:
Petri网语言和N〜m的无限子集
作者:
Stephane Gaubert
;
Alessandro Giua
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第3期
54.
Models of Nondeterministic Regular Expressions
机译:
非确定性正则表达式的模型
作者:
Flavio Corradini
;
Rocco De Nicola
;
Anna Labella
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第3期
55.
Graph Isomorphism and Identification Matrices: Sequential Algorithms
机译:
图同构和识别矩阵:顺序算法
作者:
Lin Chen
期刊名称:
《Journal of Computer and System Sciences》
|
1999年第3期
56.
TAL Recognition O(M(n~2)) Time
机译:
TAL识别时间O(M(n〜2))
作者:
Sanguthevar Rajasekaran
期刊名称:
《Journal of Computer and System Sciences》
|
1998年第1期
57.
Sequences, Datalog, and Transducers
机译:
序列,数据记录和换能器
作者:
Anthony Bonner
;
Giansalvatore Mecca
期刊名称:
《Journal of Computer and System Sciences》
|
1998年第3期
58.
NOTE A Three-Party Communication Problem
机译:
注意三方沟通问题
作者:
Leonard J. Schulman
期刊名称:
《Journal of Computer and System Sciences》
|
1998年第3期
59.
Increasing Resilience of Distributed and Replicated Database Systems
机译:
分布式和复制数据库系统的弹性增强
作者:
Idit Keidar
;
Danny Dolev
期刊名称:
《Journal of Computer and System Sciences》
|
1998年第3期
意见反馈
回到顶部
回到首页