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