2003年第14卷第10期目录
谓词μ演算和模态图的语义一致性刘剑,林惠民2003,14(10):1672-1680 [摘要(3814)] [PDF(5272)1.02 M][HTML(0)]稠密时间表示及冗余消除陈靖2003,14(10):1681-1691 [摘要(4102)] [PDF(4464)1.09 M][HTML(0)]一种发现函数依赖集的方法及应用张守志,施伯乐2003,14(10):1692-1696 [摘要(4458)] [PDF(5287)547.71 K][HTML(0)]自适应信息过滤中使用少量正例进行阈值优化夏迎炬,黄萱菁,胡恬,吴立德2003,14(10):1697-1705 [摘要(3855)] [PDF(4788)778.37 K][HTML(0)]浓缩数据立方中约束立方梯度的挖掘冯玉才,刘玉葆,冯剑琳2003,14(10):1706-1716 [摘要(4197)] [PDF(4558)899.48 K][HTML(0)]面向网络管理的移动主体安全设施杨博,杨鲲,刘大有2003,14(10):1761-1767 [摘要(4488)] [PDF(4634)661.97 K][HTML(0)]过载服务器的性能研究姚念民,鞠九滨2003,14(10):1781-1786 [摘要(4108)] [PDF(5004)569.70 K][HTML(0)]一种用于光线与三角形网格求交运算的有效剔除算法徐智渊,唐泽圣,唐龙2003,14(10):1787-1795 [摘要(4798)] [PDF(5063)707.68 K][HTML(0)]全局光照环境中的逆向绘制孙其民,吴恩华2003,14(10):1796-1805 [摘要(4182)] [PDF(5108)1.08 M][HTML(0)]带约束的曲面放缩伯彭波,张彩明2003,14(10):1806-1812 [摘要(4046)] [PDF(4396)656.54 K][HTML(0)]有理Bézier曲线离散终判准则的改进章仁江,王国瑾2003,14(10):1813-1818 [摘要(3753)] [PDF(4444)539.20 K][HTML(0)]
计算机科学中的共代数方法的研究综述周晓聪,舒忠梅2003,14(10):1661-1671 [摘要(7721)] [PDF(6724)865.33 K][HTML(0)]传感器网络及其数据管理的概念、问题与进展李建中,李金宝,石胜飞2003,14(10):1717-1727 [摘要(16114)] [PDF(14616)839.25 K][HTML(0)]Web应用服务器研究综述范国闯,钟华,黄涛,冯玉琳2003,14(10):1728-1739 [摘要(8595)] [PDF(8828)913.86 K][HTML(0)]安全协议20年研究进展卿斯汉2003,14(10):1740-1752 [摘要(9210)] [PDF(8030)925.38 K][HTML(0)]自然语言文档复制检测研究综述鲍军鹏,沈钧毅,刘晓东,宋擒豹2003,14(10):1753-1760 [摘要(8557)] [PDF(8986)687.33 K][HTML(0)]万维网的链接结构分析及其应用综述王晓宇,周傲英2003,14(10):1768-1780 [摘要(7385)] [PDF(7951)950.56 K][HTML(0)]