JCSS,第76卷
第76卷第1期,2010年2月
拉迪姆·贝洛哈维克 , 鲁道夫·克鲁斯 :
编辑前言。 1-2 拉迪姆·贝洛哈维克 , 维勒姆·维科迪尔 :
通过一种新的矩阵分解方法发现二进制数据中的最佳因子。 3-20 克里斯蒂安·博尔盖特 :
用于学习无向图形模型的条件独立算法。 21-33 彼得·哈耶克 , 马丁·霍伦纳 , 简·劳赫 :
GUHA方法及其对数据挖掘的意义。 34-48 埃克·Hüllermier , 约翰内斯·富恩克兰兹(Johannes Fürnkranz) :
成对标签排序的预测准确性和风险最小化。 49-62 刘国庆 , 弗拉基克·克里诺维奇 :
区间和模糊不确定性下的快速卷积和快速傅里叶变换。 63-76 马蒂亚斯·斯坦布雷彻 , 鲁道夫·克鲁斯 :
可视化和模糊过滤,用于发现关联规则的时间轨迹。 77-87 卡拉姆·古达 , 摩萨布·哈桑 , 穆罕默德·扎基 :
Prism:通过素数块编码进行频繁序列挖掘的有效方法。 88-102
第76卷第2期,2010年3月
马尔科·萨默 , 斯特凡·塞德尔 :
重新访问有界树宽的约束满足。 103-114 拉斐尔·克利福德 , 克里姆·埃弗雷门科 , 爱丽·波拉特 , 埃米尔·罗斯柴尔德 :
模式匹配无所谓,错误少。 115-124 H.M.W.Verbeek先生 , 莫·桑达尔·韦恩 , Wil M.P.van der Aalst先生 , 亚瑟·H·M·特·霍夫斯泰德 :
重置/抑制网络的减少规则。 125-143 让·达利高特 , 格雷戈里·古汀 , 金永中(Eun Jung Kim) , 安德斯·杨 :
有向k-Leaf问题的FPT算法和内核。 144-152
第76卷,第3-4期,2010年5月-6月
尼古拉·比约纳 , 安德烈亚斯·布拉斯 , 尤里·古雷维奇 :
用于差分压缩的内容相关分块,即局部最大值方法。 154-203 迈克尔·多姆 , Jiong Guo(郭炯) , 罗尔夫·尼德迈尔 :
连续一个子矩阵问题的逼近和固定参数算法。 204-221 皮埃尔·弗拉吉诺 , 大卫·伊尔辛卡斯 , 安德烈·佩尔克 :
通信算法和建议。 222-232 桑杰·贾恩 , 弗兰克·斯蒂芬 :
最适合学习的编号。 233-250 亚历山大·奥霍廷 :
语言方程的判定问题。 251-266 马丁·戴尔 , 莱斯利·安·戈德伯格 , 马克·杰拉姆 :
布尔#CSP的近似三分法。 267-277
本杰明·I.P.鲁宾斯坦 , 彼得·巴特利特 , J.海姆·鲁宾斯坦 :
《移位:单因素误差界和样本压缩》的勘误表[J.Comput.System Sci 75(1)(2009)37-59]。 278-280
第76卷第5期,2010年8月
威尔弗里德·霍奇斯 , 鲁伊·J·G·B·德·奎罗斯 :
2008年JCSS WoLLIC编辑前言。 281-282 克里斯托夫·卡尔维斯 , 玛丽贝尔·费尔南德斯 :
标称术语的匹配和字母等效性检查。 283-301 奥利维尔·丹维 , 雅各布·约翰森 :
面向对象编程的相互派生语义工件。 302-323 阿努杰·达瓦尔 :
拟宽类上的同态保持。 324-332 圣地亚哥·菲盖拉 , 丹尼尔·戈林 , 拉斐尔·格林森 :
类IF逻辑的形式语义。 333-346 帕斯卡·科伊兰 , 吉尔根·兰德斯 , 娜塔莎·波特 , 姚鹏辉 :
非自适应量子算法的对手下限。 347-355 伊利亚·梅日罗夫 , 尼古拉·韦雷沙金(Nikolay K.Vereshchagin) :
关于抽象资源语义和可计算性逻辑。 356-372 利维奥·罗巴尔多 :
用最大指称词进行解释和推理。 373-388
第76卷第6期,2010年9月
陈进军(Jinjun Chen) , 王莉莎(Lizhe Wang) :
特刊:科学工作流2009。 389 平阳 , 石永路 , 米哈伊尔·戈夫曼 , 资江·杨 :
科学工作流的信息流分析。 390-402 拉斐尔·托洛萨纳·卡拉桑斯 , 何塞·安杰尔·巴尼亚雷斯 , 佩德罗·阿尔瓦雷斯 , 约阿奎恩·埃兹佩利塔 , 奥马尔·拉纳 :
一种用于分层科学工作流程的不协调异步检查点模型。 403-415 窦万春 , J.李昂·赵 , 邵坤风机 :
一种用于服务驱动的科学工作流执行的协作调度方法。 416-427 斯科特·卡拉汉 , 埃瓦·迪尔曼 , 丹·冈特 , 吉迪恩·尤文 , 菲利普·梅奇林 , 克里斯托弗·布鲁克斯 , 卡兰·瓦希 , 凯文·米尔纳 , 罗伯特·格雷夫斯 , 爱德华·菲尔德 , 大卫·奥卡亚 , 托马斯·乔丹 :
扩展基于工作流的应用程序。 428-446 丹尼尔·津恩 , 肖恩·鲍尔斯 , 斯文·科勒 , 伯特伦·卢德谢尔 :
通过MapReduce并行XML数据流工作流。 447-463 陈进军(Jinjun Chen) , 云阳(Yun Yang) :
在科学工作流中定位时间约束。 464-474 马建刚(Jiangang Ma) , 曹锦丽 , 张彦春 :
有效支持科学工作流中的安全可靠协作。 475-489 斯洛卡 , Jan Hidders公司 , 保罗·米西耶 , 卡罗尔·高布尔 :
Taverna 2工作流模型的正式语义。 490-508
第76卷第7期,2010年11月
维克拉曼·阿文德 , 比雷斯瓦·达斯 , 穆霍帕迪亚 :
锦标赛和超锦标赛的同构和经典化。 509-523 费萨尔·N·阿布·赫扎姆 :
d-Hitting集的核化算法。 524-531 约阿希姆·韦勒 :
自由选择Petri网阻塞定理的简化证明。 532-537 巴特·奎杰普斯 , 瓦利德·奥斯曼 :
轨迹数据库:数据模型、不确定性和完整查询语言。 538-560 伊迪丝·赫玛斯潘德拉 , 亨宁·施诺尔 , 伊尔卡·施努尔 :
广义模态可满足性。 561-578 胡比·陈 , 奥马尔·吉梅内斯 :
因果图和结构受限规划。 579-592 亨宁·费尔诺 , 迈克尔·考夫曼 , 马蒂亚斯·波茨 :
通过交叉最小化比较树。 593-608 米罗斯拉夫·西里奇 , 阿列克桑达尔·斯塔门科维奇 , 杰琳娜·伊格尼亚托维奇 , 塔贾娜·佩特科维奇 :
模糊关系方程和模糊自动机的约简。 609-633 米基·赫尔曼 , 莱因哈德·皮克勒 :
计算命题推导的复杂性。 634-649 内森·科恩 , 费多·弗明 , 格雷戈里·古汀 , 金永中(Eun Jung Kim) , Saket Saurabh酒 , 安德斯·杨 :
寻找k-顶点外树的算法及其在k-内部分支问题中的应用。 650-662 杰苏斯·阿里亚斯·菲特斯 , 诺贝托·费尔南德斯·加西亚 , 路易斯·桑切斯·费尔南德斯 , 卡洛斯·德尔加多·克鲁斯 :
散列和规范化符号3图。 663-685 S.穆图克里什南 , 戈帕尔·潘杜拉根 :
由自组织传感器网络驱动的阈值随机几何图特性。 686-696
第76卷第8期,2010年12月
Chih-Chiang Yu先生 , 林建新 , 王碧峰 :
改进了在平面图中查找长度有界的两个顶点不相交路径和在有向无环图中查找最小k个顶点不交路径的算法。 697-708 弗里德里希·艾森布兰德 , 法布里奇奥·格兰多尼 , 托马斯·罗斯沃 , 吉多·施费尔 :
通过随机设施采样和堆芯绕行连接设施位置。 709-726 迈克尔·R·费罗斯 , Jiong Guo(郭炯) , 伊亚德·坎吉 :
一些最小标签问题的参数化复杂性。 727-740 Saehwa Kim先生 :
抢占门限调度下实时同步的双天花板协议。 741-750 Dekel Tsur公司 :
通过几轮杂交进行测序。 751-758 及谈判代表迪克尔 , 费利克斯·A·菲舍尔 , 阿里尔·D·普罗卡西亚 :
激励相容回归学习。 759-777 陈庆炎 :
关于具有可判定空性问题的数据语言的卵石自动机。 778-791 克里斯蒂安·格拉(Christian Glaßer) :
节省空间的信息冗余。 792-811 纳迪娅·贝茨勒 , 布丽塔·多恩 :
在基于评分规则的选举中,对可能的胜利者问题采取二分法。 812-836 汤姆·马斯珀斯 :
无上下文重写中的简单限制。 837-846 胡比·陈 , 马丁·格罗 :
简洁指定关系的约束满足。 847-860 阿尔托·萨洛马 :
子词平衡、位置指数和幂和。 861-871 格雷戈里·古汀 , 金永中(Eun Jung Kim) , 马蒂亚斯·姆尼奇 , 安德斯·杨 :
参数化的介于紧下限之上。 872-878 大卫·加马尼克 , 德米特里·卡茨 :
用于计算0,1矩阵的永久性的确定性近似算法。 879-883 什洛米·多列夫 , 罗宁·I.凯特 , 埃拉·迈克尔·席勒 :
当共识达到自我稳定时。 884-900