搜索dblp
全文搜索
> 主页
请输入搜索查询
作者搜索结果
场馆搜索结果
优化列表
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
出版物搜索结果
2004 弗朗西娜·布兰切特·萨德里 :
代码、顺序和部分单词。 西奥。 计算。 科学。 329 ( 1-3 ) : 177-202 ( 2004 ) 阿林·博斯坦 , 埃里克·肖斯特 :
关于多点评估和插值的复杂性。 西奥。 计算。 科学。 329 ( 1-3 ) : 223-235 ( 2004 ) 托比亚斯·布吕格曼 , 沃尔特·科恩 :
一种改进的3-SAT确定性局部搜索算法。 西奥。 计算。 科学。 329 ( 1-3 ) : 303-313 ( 2004 ) 哈娜·查克勒 , 奥尔娜·库普夫曼 :
w-Regular语言可以通过恒定数量的查询进行测试。 西奥。 计算。 科学。 329 ( 1-3 ) : 71-92 ( 2004 ) 阿明·科贾·奥格伦 , 安德烈亚斯·戈德 , 安德雷·兰卡 , 弗兰克·施德利奇 :
组合近似算法的技术产生了随机2k-SAT的有效算法。 西奥。 计算。 科学。 329 ( 1-3 ) : 1-45 ( 2004 ) 维克托·达尔摩 , 彼得·琼森 :
从另一方面看计算同态的复杂性。 西奥。 计算。 科学。 329 ( 1-3 ) : 315-323 ( 2004 ) 迈克尔·德莫塔 :
关于二叉搜索树高度的Robson收敛性和有界性猜想。 西奥。 计算。 科学。 329 ( 1-3 ) : 47-70 ( 2004 ) 塔马斯·霍尔农 , Sándor Vágvölgyi :
带look-ahead的存储到树传感器。 西奥。 计算。 科学。 329 ( 1-3 ) : 115-158 ( 2004 ) 彼得·琼森 , 安德烈·克罗钦 :
识别约束满足问题中的冻结变量。 西奥。 计算。 科学。 329 ( 1-3 ) : 93-113 ( 2004 ) 列奥尼德·康托洛维奇 :
唯一可解码的n-gram嵌入。 西奥。 计算。 科学。 329 ( 1-3 ) : 271-284 ( 2004 ) 格列戈兹·马列维茨(Grzegorz Malewicz) :
Anderson和Woll算法的严密分析和近最优实例。 西奥。 计算。 科学。 329 ( 1-3 ) : 285-301 ( 2004 ) Gembu Morohashi公司 , 岩田茂 :
一些最小合并网络。 西奥。 计算。 科学。 329 ( 1-3 ) : 237-250 ( 2004 ) 雅克·佩里埃 , Bo Tan(伯坦) , 志雄文 , 吴军 :
序列的因子构成矩阵。 西奥。 计算。 科学。 329 ( 1-3 ) : 251-269 ( 2004 ) 陆阮 , 杜洪伟 , 贾晓华 , 吴伟力 , 李英树 , Ker-I Ko公司 :
最小连通支配集的贪婪近似。 西奥。 计算。 科学。 329 ( 1-3 ) : 325-330 ( 2004 ) 托马斯·斯特拉姆 :
基本可行泛函的证明理论表征。 西奥。 计算。 科学。 329 ( 1-3 ) : 159-176 ( 2004 ) 田岛康弘 , 富田Etsuji , Mitsuo Wakatsuki先生 , 松木田 :
通过查询和代表性样本对简单确定性语言进行多项式时间学习。 西奥。 计算。 科学。 329 ( 1-3 ) : 203-221 ( 2004 ) 郑玉良 , 张贤墨 :
广义XOR引理。 西奥。 计算。 科学。 329 ( 1-3 ) : 331-337 ( 2004 )