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