CoRR,2003年11月
伯恩哈德·佩施尔 , 弗兰兹·沃塔瓦 :
VHDL-RTL设计软件调试中的状态建模——一种基于模型的诊断方法。 佛罗伦斯·贝诺伊 , 安迪·金 , 弗雷德里克·梅斯纳德 :
使用线性解算器计算凸包。 莫里斯·布吕诺格 :
增强搜索算法以执行智能回溯。 阿里·阿巴斯 , 杰姆·马瑟森 :
效用-概率对偶。 大卫·S·H·罗森塔尔 :
关于内存限制函数的成本分布。 艾利森·伍德拉夫 , 保罗·M·青木 :
一键通如何使谈话不那么咄咄逼人。 西蒙娜·佩里 , 尼古拉·利昂 :
析取逻辑程序设计中的参数连接词。 拉尔夫·施魏迈尔 , 迈克尔·施罗德 :
扩展逻辑编程的参数化论证语义层次及其在完善语义中的应用。 安德烈·德米切夫 , 大卫·福斯特 , V.卡利亚耶夫 , 亚历山大·克鲁科夫 , 马西莫·拉马纳 , 维克多式 , 里卡多·布里托·达罗查 , 克劳德·王 :
数据密集型应用的OGSA/Globus评估。 V.卡利亚耶夫 , 亚历山大·克鲁科夫 :
网格数据库系统中的应用作业监控问题。 桑托斯·B·尤斯特 , L.Acedo公司 :
分数阶扩散方程的显式有限差分方法。 鲁伊·卡瓦略 , 迈克尔·巴蒂 :
轴线的严格定义:等视场上的脊。 Vamsi Paruchuri公司 , 阿尔扬·杜雷西 , 拉杰·贾恩 :
用于自组织网络的优化洪泛协议。 马库斯·赫特 :
一般损失和字母的通用贝叶斯序列预测的最优性。 王亮 , 郭一平 , 明芳 :
使搜索成为互联网的内部功能。 埃尔万·贾希尔 , 米雷尔·杜卡斯 :
通过跟踪分析进行通用高效的程序监控。 梅马·鲁索普洛斯 , 玛丽·贝克 , 大卫·S·H·罗森塔尔 , 托马斯·朱利 , Petros Maniatis公司 , 杰弗里·莫格尔 :
2 P2P还是非2 P2P? 卡拉广场 , 阿尔贝托·波利克里蒂 :
阿克曼编码、互模拟和OBDD。 丹尼尔·桑德马克 , Henrik Thane(Henrik Thane) , 乔尔·胡塞利乌斯 , 安德斯·佩特森 , 罗杰·梅兰德 , 英格马尔·雷耶 , 马蒂亚斯·卡尔维 :
复杂实时系统的重放调试:来自两个工业案例研究的经验。 Kai-Min Chung先生 , 吕学一 :
最大密度分段问题的优化算法。 L.沙马丁 :
LCG-1部署和使用经验。 马西莫·弗朗切特 , 安吉洛·蒙塔纳里 :
时间粒度的时序逻辑和自动机。 彼得·斯塔基 , 马丁·苏尔兹曼 , 杰里米·瓦兹尼 :
变色龙类型调试器(工具演示)。 维维亚娜·马斯卡迪 , 毛里齐奥·马泰利 , 利昂·斯特林 :
智能软件代理的基于逻辑的规范语言。 Katarzyna Keahey公司 , 冯·韦尔奇 , 萨姆·朗 , B.刘 , 萨姆·梅德尔 :
网格中作业执行的细粒度授权:设计与实现。 弗朗西斯·朱棣文 , 约瑟夫·哈尔彭 :
远大的期望。 第一部分:广义期望效用的可定制性。 弗朗西斯·朱棣文 , 约瑟夫·哈珀(Joseph Y.Halpern) :
远大的期望。 第二部分:作为通用决策规则的广义期望效用。 约瑟夫·哈珀(Joseph Y.Halpern) , 约拉姆·摩西 :
在基于知识的编程中使用反事实。 迈克尔·纳拉扬 , 克里斯托弗·威廉姆斯 , 萨维里奥·佩鲁吉尼 , 纳伦·拉马克里希南 :
多模式Web交互管理的阶段转换。 佐埃·阿布拉姆斯 , 戈埃尔 , 谢尔盖·普罗特金 :
无线传感器网络中能量有效监测的集合K-Cover算法。 杰拉尔德·沃尔夫 :
建立在SP计算和认知理论基础上的智能数据库系统。 奥列格·马佐卡 , 丹尼尔·克里斯托瓦尼 :
一个非常简短的自我口译员。 Solomija N.Buk , 安德烈·罗文查克 :
乌克兰语功能语料库的秩-频率分析。 吉比·科尔登霍夫 :
使用微分反射函数可视化人脑形态的变化。 米伦科·彼得罗维奇 , 莫赫塔阿博拉泽 :
通过无线IEEE 802.11链路提高TCP/IP性能。 迪诺伊·苏伦德兰 , 帕塔·尼约吉 :
测量语音对比的功能负荷。 亚伦·塞尔 , K.约翰·高夫 , 大卫·阿布拉姆森 :
DUCT:用于相对调试的交互式定义使用链导航工具。 沃尔夫冈·梅 :
XPath-Logic和XPathLog:一种逻辑编程风格的XML数据操作语言。 陈志德 , 洪朱 :
量子n取m不经意转移。 佐尔坦·索莫吉 :
用于安全时间旅行的Idempotent I/O。 米伦科·彼得罗维奇 , Ioana Burcea公司 , 汉斯·阿诺·雅各布森 :
S-ToPSS:语义多伦多发布/订阅系统。 亚当·克莱文斯 , 洛科·A·塞韦迪奥 :
面向属性高效学习算法。 法比奥·菲奥拉万蒂 , 阿尔贝托·佩托罗西 , 毛里齐奥·普罗埃蒂 :
通过程序变换将逻辑程序和一元二阶逻辑结合起来。 阿尔贝托·佩托罗西 , 毛里齐奥·普罗埃蒂 , 索菲·雷诺 :
通过专业化和减少不确定性导出有效的逻辑程序。 杰拉尔德·沃尔夫 :
基于多重对齐、统一和搜索的信息压缩框架中的无监督语法归纳。 简·奥德尔斯塔德 , 马格努斯·博曼 :
代理规范规则代数。 Ioana Burcea公司 , 米伦科·彼得罗维奇 , 汉斯·阿诺·雅各布森 :
我知道你的意思:互联网规模的发布/订阅系统中的语义问题。 Deept Kumar公司 , 纳伦·拉马克里希南 , 马尔科姆·波茨 , 理查德·赫尔姆 :
翻转CARTwheels:一种用于挖掘重新描述的替代算法。 米伦科·彼得罗维奇 , 莫赫塔尔废奴 :
TCP/UDP在Ad Hoc IEEE802.11下的性能。 最大Voskob , 努克·普宁 :
使用智能代理的公共部门数据挖掘和隐私(讨论文件)。 阿马尔群岛 :
整合现有的锥形和基于投影的基本方向关系,以及类似TCSP的可判定推广。 文玉东 , 柯旭 , 蒙祥林 :
一种基于情境演算的建模普遍信息服务的方法。 迪马·格里戈里耶夫 :
D-模的弱Bezout不等式。 道格拉斯·A·高尔比 :
版权和创造力:作者和摄影师。 米雷尔·鲍廷 , 格雷戈·坎佩尔 :
哪些点配置是由它们的成对距离分布决定的? 弗拉基米尔·什皮林 :
评估一些基于组的密码系统的安全性。 卡门·科尔特斯 , 克拉拉·格里玛 , 费兰·赫塔多 , 阿尔贝托·马尔克斯 , 弗朗西斯科·桑托斯 , 耶稣·瓦伦苏埃拉 :
变换非平面曲面上多边形的三角剖分。 卡洛斯·格申森 :
具有不同更新方案的随机布尔网络中的相变。 亚历山大·克拉斯科夫 , Harald Stögbauer公司 , 拉尔夫·安德泽亚克 , 彼得·格拉斯伯格 :
使用互信息的层次聚类。 斯科特·阿伦森 :
量子计算的多线性公式和怀疑论。 安东尼奥·阿辛 , J.伊格纳西奥·西拉克 , 路易斯·马萨内斯 :
存在多方绑定信息,可以激活。 亚历山大·克拉斯科夫 , 哈拉尔德·施特鲍尔 , 拉尔夫·安德泽亚克 , 彼得·格拉斯伯格 :
基于互信息的层次聚类。 E.本-奈姆 , 保罗·L·克拉皮夫斯基 , 悉尼·莱德纳 :
随机结构的极值特性。