CoRR,2003年9月
艾利森·伍德拉夫 , 保罗·M·青木 :
移动按键通话通信服务的媒体成本。 里卡多·加利 :
El informe NERA分析。 马可·波扎诺 , 乔治·德尔扎诺 , 毛里齐奥·马泰利 :
模型检查线性逻辑规范。 布鲁斯·龙 :
信息结构。 阿列克桑达尔·斯托吉米罗维奇 , 弗拉基米尔·佩斯托夫 :
短蛋白质片段数据集中相似性搜索的索引方案。 拉戈帕尔·坎南 :
KR-Benes网络:一种(几乎)可控最优可重排排列网络。 彼得罗·戈皮奇 :
神经网络装配记忆模型框架内的ROC曲线:一些分析结果。 Eli Appleboim公司 , 埃米尔·索坎 :
格林定理的数字版本及其在形式验证覆盖问题中的应用。 维克托·埃利亚什贝里 :
什么是工作记忆和心理意象? 学习执行心算的机器人。 迪马·格里戈里耶夫 , 伊利亚·波诺马伦科 :
群和环上的同态公钥密码体制。 阿尔古斯特·S·埃格尔森 , 哈肯·古德贾特森(Hakon Gudbjartsson) :
引用复杂结构的表的索引。 黄建峰 , 路易斯·罗查 :
探索RNA编辑和稳健遗传算法的设计。 路易斯·罗查 :
文档网络中的半度量行为及其在推荐系统中的应用。 埃丝特·M·阿金 , 迈克尔·本德 , 埃里克·D·德曼 , 桑多·菲科特(Sándor P.Fekete) , 约瑟夫·米切尔 , 索拉巴·塞提亚 :
带转弯成本的最优覆盖旅游。 多米尼克·詹津 , 丹尼尔·赫尔曼 :
利用统计学习理论从稀疏数据中可靠有效地推断贝叶斯网络。 斯图亚特·麦克唐纳 , 利亚姆·瓦格纳 :
用模拟退火法计算颤抖手的颤抖。 大卫·雷诺 :
枚举平面局部有限Cayley图。 马滕·范·埃姆登 , 贝莱德·莫阿 :
使用传播解决复杂的算术约束。 藤井Atsushi , 卡通武伊图 :
为语音驱动的Web检索构建测试集合。 斯蒂芬·默滕斯 , 马克·梅扎德 , 里卡多·泽奇纳 :
空腔法中随机K-SAT的阈值。 藤井忠寿 , 卡通武伊图 , 秋叶富代 , 石川哲也 :
演讲视频的跨媒体检索系统。 克里斯蒂安·蒂曼 , 迈克尔·施伦克 , 托马斯·塞维连斯 :
分布式XML查询网络的建议规范。 弗拉基米尔·巴塔格尔 :
引文网络分析的有效算法。 安娜贝拉·麦克维尔 , 卡罗尔·摩根 :
定量微积分qMu的结果。 约翰·舒伯特 :
证据力聚合。 马克·C·利特 :
量子力学和分布式故障检测的思想实验。 米歇尔·朗塞 , 科恩·德博舍尔 :
第五届自动调试国际研讨会论文集,AADEBUG 2003,比利时根特,2003年9月8日至10日。 弗雷德里克·梅斯纳德 , 罗伯托·巴格纳拉 :
cTI:用于ISO-Prolog的基于约束的终止推理工具。 乔纳斯·梅贝 , 科恩·德博舍尔 :
检测自修改代码。 沃尔夫冈·迈耶 , 马库斯·斯图普特纳 :
使用多个抽象模型的基于模型的调试。 丸山和田 , 寺田农 :
基于时间戳的C和Java程序执行控制。 杰拉德·费兰德 , 威利·莱萨因特 , 亚历山大·特西尔 :
面向有限域上约束程序的声明性诊断。 普拉纳布·森 , 斯里尼瓦桑·文卡泰什 :
单元探测模型中前置搜索的下限。 彼得·D·特纳 , 迈克尔·利特曼 :
衡量赞扬和批评:从联想中推断语义取向。 彼得·特尼 , 迈克尔·利特曼 , 比格汉姆 , 维克托·施奈德 :
结合独立模块解决多选同义词和类比问题。 彼得罗·戈皮奇 :
基于最优二进制信号检测理论的神经网络装配记忆模型。 布莱恩·坎特里尔 :
事后对象类型标识。 瓦尔米尔·卡内罗·巴博萨 , 露西安娜·坎波斯 :
最大独立集问题的一种新的进化公式。 瓦尔米尔·卡内罗·巴博萨 , 卡洛斯·A·G·阿西斯 , 乔西娜·多·纳西门托 :
图着色问题的两个新的进化公式。 露西娅·德拉克·彭索 , 瓦尔米尔·卡内罗·巴博萨 :
寻找k-支配集的分布式算法。 康斯坦丁·莱布尼科夫 :
分段线性曲面凸性的快速验证。 卢西亚·M·A·德拉蒙德 , 瓦尔米尔·卡内罗·巴博萨 :
关于降低矩阵时钟的复杂性。 亚历山大·H·L·波尔图 , 瓦尔米尔·卡内罗·巴博萨 :
查找字符串中的近似回文。 瓦尔米尔·卡内罗·巴博萨 :
资源共享的组合。 阿戈斯蒂诺·多维尔 , 卡拉广场 , 詹弗兰科·罗西 :
列表、多集、紧列表和集的约束求解的统一方法。 K.Vezerides公司 , 阿萨纳西奥斯·基哈吉亚斯 :
谎言及相关悖论:自指句集合的模糊真值赋值。 安德利亚斯·策勒 :
计算机程序中的原因和影响。 尤根·施密杜贝尔(Jürgen Schmidhuber) :
Goedel机器:自我参考通用问题求解器,显著优化自我改进。 若昂·卢伦索 , 何塞·C·库尼亚 , 维托·莫雷拉 :
使用Fiddle控制和调试分布式程序。 W.A.Zuniga-Galindo公司 :
计算一元多项式的Igusa局部Zeta函数和线性反馈移位寄存器。 奥德·雷格夫 :
新的基于格的密码构造。 鲍里斯·阿列克谢夫 :
测试可分割性的最小DFA。 大卫·A·普莱斯特 :
层次情境演算。 Katerina J.Argyraki女士 , 大卫·R·切里顿 :
主动互联网流量过滤:对拒绝服务攻击的实时响应。 大田聪(Tsuyoshi Ohta) , Tadanori Mizuno公司 :
自动错误定位的数学框架。 Shmuel Onn公司 , 乌列尔·罗斯布卢姆 :
凸组合优化。 Shmuel Onn公司 :
Nowhere-Zero流动多项式。 保罗·劳雷蒂 , 彼得·鲁克 , 约瑟夫·威克林(Joseph R.Wakeling) , 张一成 :
互动少数群体游戏:基于网络的人类市场互动调查。 卡洛斯·格申森 :
自组织交通控制:第一个结果。 李在伟(Jae Weon Lee) , 亚历克谢·切佩利安斯基 , 迪玛·谢佩连斯基 :
量子计算机上的声音处理。 皮埃尔弗朗西斯科·拉穆拉 :
经典战略博弈与量子信号的相关均衡。 哈里·布尔曼 , 伊兰·纽曼 , 海因·罗赫里 , 罗纳德·沃尔夫 :
稳健的量子算法和多项式。 布拉德利·W·杰克逊 , 杰弗里·斯卡格尔 , 戴维·巴恩斯 , Sundararajan Arabhi公司 , Alina Alt(别名Alt) , 彼得·焦莫西斯 , 埃柳斯·格温 , Paungkaew Sangtrakulcharoen公司 , 陈冰晶 , 蔡敦涛(Tun Tao Tsai) :
一种在区间上进行数据最优分割的算法。