中文 English 收藏本站
科学研究 / 学术论文 / 会议论文
当前位置： 首页  科学研究  学术论文  会议论文  Conference 2009

Conference 2009

时间：2019-07-14      分类：会议论文

    1. Xiaohui Ji, Feifei Ma, Jian Zhang, Solving Global Unconstrained Optimization Problems by Symmetry-Breaking, ICIS 2009, 6.1-6.3
    2. Xin Chen, Wencheng Wang, Texture Synthesis by Interspersing Patches in a Chessboard Pattern, VRCAI 2009, 12.14-12.15
    3. Wei Chen, Wenhui Zhang, Bounded Model Checking of ACTL Formulae,TASE 2009, 7.29-7.31
    4. Jinyi Cai, Pinyan Lu, Mingji Xia, A Computational Proof of Complexity of Some Restricted Counting Problems, TAMC 2009, 5.19-5.20
    5. Guangyuan Li, Checking Timed Buchi Automata Emptiness Using LU-Abstractions, FORMATS 2009
    6. Hongtao Huang, On Detecting Regular Predicates in Distributed System, ATVA 2009
    7. Yanyan Xu, Weiya Yue, Kaile Su, The BDD-Based Dynamic A Algorithm for Real-Time Replanning, FAW 2009, 6.21
    8. Yanyan Xu, Weiya Yue, A Generalized Framework for BDD-Based Replanning A Search, 2009 10th ACIS International Conference on Software Engineering, Artificial Intelligences, Networking and Parallel/Distributed Computing, 5.27-5.29
    9. Xiang Zhou, CFI Construction and Balanced Graphs, FAW 2009
    10. Yidong Shen, Jiahuai You , A Default Approach to Semantics of Logic Programs with Constraint Atoms, LPNMR 2009, 9.14-9.18
    11. Hong Pan, Yi Lv, Huimin Lin, Environment Abstraction with State Clustering and Parameter Truncating, TASE 2009, 7.29-7.31
    12. Jianfeng Du, Guilin Qi, Qiu Ji, Goal-Directed Module Extraction for Explaining OWL DL Entailments, ISWC 2009, 10.25-10.29
    13. Jun Sun, Zhiyong Shen, Bai Su, Yidong Shen, Regularized Local Reconstruction for Clustering, PAKDD 2009, 4.27-4.30
    14. Jianfeng Du, Guilin Qi, Jeff Z. Pan, Yidong Shen, A Decomposition-Based Approach to Optimizing Conjunctive Query Answering in OWL DL, ISWC 2009, 10.25-10.29
    15. Lixiao Zheng, Duanyi Wu, A Sentence Generation Algorithm for Testing Grammars, COMPSAC 2009, 7.20-7.24
    16. Lixiao Zheng, Haiming Chen, A Systematic Framework for Grammar Testing, 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science, 12.19-12.20
    17. Feifei Ma, Sheng Liu, Jian Zhang, Volume Computation for Boolean Combination of linear Arithmetic Constraints, CADE-22, 8.2-8.7
    18. Guangquan Zhang, Mei Rong, Ling Wang, Yali He, Hui Wei, Modeling and Analysis for Web Services Composition Based on Dynamic Software Architecture, 2009 Sixth Web Information Systems Applications Conference, 9.18-9.20
    19. Sheng Wang , Guangquan Zhang, Xiaofang Zhang, Yang Yang, A Method for Detecting Behavioral Mismatching Web Services, 2009 Sixth Web Information Systems Applications Conference, 9.18-9.20
    20. Qi Huacheng, Rong Mei, Zhang Guangquan, A Behavior-Driven Model of Component Interaction Adaptation, 2009 4th International Conference on Computer Science & Education, 7.25-7.28
    21. Chen Daoxi, Zhang Guangquan, Fan Jianxi, Abstraction Framework and Complexity of Model Checking Based on the Promela Models, 2009 4th International Conference on Computer Science & Education, 7.25-7.28
    22. Kong Junqi, Wang Hui, Zhang Guanquan, Gesture Recognition Model Based on 3D Accelerations, 2009 4th International Conference on Computer Science & Education, 7.25-7.28
    23. Chuanliang Xia, Property Preservation and Application of a Kind of Petri Net Synthesis, 2009 International Symposium on Intelligent Information Systems and Applications, 10.28-10.30
    24. Chuanliang Xia, ProPerty Preservation of Petri Refinement Net, CSIE 2009, 3.31-4.2
    25. Chuanliang Xia, Translation Methods from Timed Automata to Time Petri Nets, 2009 CISE, 12.11-12.13
    26. Chuanliang Xia, Translation from Time Petri Nets to Timed Automata , BMEI 2009, 10.17-10.19
    27. Jian Zhu, Youquan Liu, kai Bao, Yuanzhang Chang, Enhua Wu, Warping of A Spherical Representation of Image-Based Models on GPU, VRCAI 2009, 12.14-12.15
    28. Shixue Zhang, Enhua Wu, An Improved Method for Generating Multiresolution Animation Models, 2009 11th IEEE International Conference on Computer-Aided Design and Computer Graphics, 8.19-8.21
    29. Xiaolong Wu, Enhua Wu, Bubble Creation and Multi-fluids Interaction, 2009 11th IEEE International Conference on Computer-Aided Design and Computer Graphics, 8.19-8.21
    30. Yuanzhang Chang, kai Bao, Youquan Liu, Jian Zhu, Enhua Wu, A Particle-Based Method for Viscoelastic Fluids Animation , VRST 2009, 11.18-11.20
    31. Shixue Zhang, Enhua Wu, Multiresolution Animation Models Generation Based on Deformation Distance Analysis, ICCMS 2009, 2.20-2.22
    32. Yuanzhang Chang, kai Bao, Youquan Liu, Jian Zhu, Enhua Wu, Particle Importance Based Fluid Simulation, CGIV 2009, 8.11-8.14
    33. 常元章, 柳有权, 鲍凯, 朱鉴, 吴恩华, 一种基于粒子的牛顿流体与粘弹性流体统一模拟方法, 第六届智能CAD与数字娱乐学术会议, 8.15-8.17
    34. 焦少慧, 陈昕, 杨刚, 吴恩华, 卡通化毛发纹理的生成与替换, 第六届智能CAD与数字娱乐学术会议, 8.15-8.17
    35. Zhenyue Long, Beihong Jin, Fengliang Qi, Donglei Cao, Reuse Strategies in Distributed Complex Event Detection, 2009 Ninth International Conference on Quality Software, 8.24-8.25
    36. 王婷, 孙相征, 张云泉, 杨超, 李力刚, 刘芳芳, 深腾7000天体大规模数值模拟软件性能测试与分析, 2009中国计算机大会, 10.23-10.24
    37. Jing Wang, Yunquan Zhang, Xianyi Zhang, Xiangzheng Sun, Zelin Hu, Sujun Li, QuantWiz: A Parallel Software Package for LC-MS-based Label-free Protein Quantification, 2009 11th IEEE international Conference on High Performance Computing and Communications, 12.19-12.22
    38. Yuxin Tang, Yunquan Zhang, Xiangzheng Sun, LogGP(h): Incorporating Communication Hierarchy into the LogGP Model, 2nd International Symposium on parallel Architectures,Algorithms and Programming, 12.4-12.6
    39. Xianyi Zhang, Yunquan Zhang, Xiangzheng Sun, Fangfang Liu, Shengfei Liu, Yuxin Tang, Automatic Performance Tuning of SpMV on GPGPU, HPC Asia & APAN 2009, 3.2-3.6
    40. Xiongfei Luo, Hongan Wang, Feng Tian, Wei Liu, Dongxing Teng, Guozhong Dai, ProcessLine: Visualizing Time-Series Data in Process Industry, IEEE Symposium on VAST 2009, 10.12-10.13
    41. Xinjie Lu, Xin Li, Tian Yang, Zaifei Liao, Wei Liu, Hangan Wang, RRPS:A Ranked Real-Time Publish/Subscribe Using Adaptive QoS, ICCSA 2009, 6.29-7.2
    42. Xinjie Lu, Tian Yang, Zaifei Liao, Manzoor Elahi, Wei Liu, Hongan Wang, Incremental Outlier Detection in Data Streams Using Local Correlation Integral, 24th Annual ACM Symposium on Applied Computing 2009, 3.9-3.12
    43. Tian Yang, Xinjie Lu, Zaifei Liao, Wei Liu, Hongan Wang, SVM Based Decision Analysis and Its Granular-Based Solving, ICCSA 2009, 6.29-7.2
    44. Tian Yang, Zaifei Liao, Xinjie Lu, Hongan Wang, An Approximate Approach to Constraint Solving in Soft Sensing, 24th Annual ACM Symposium on Applied Computing 2009, 3.9-3.12
    45. Zaifei Liao, Tian Yang, Xinjie Lu, Hongan Wang, Data Prediction in Manufacturing: An Improved Approach Using Least Squares Support Vector Machines, DBTA 2009, 4.25-4.26
    46. Tian Yang, Zaifei Liao, Xinjie Lu, Hongan Wang, Quality Skyline in Senor Database, DBTA 2009 4.25-4.26
    47. Yingying Jiang, Feng Tian, Xugang Wang, Xiaolong Zhang, Guozhong Dai, Hongan Wang, Structuring and Manipulating Hand-Drawn Concept Maps , 2009 International Conference on Intelligent User Interfaces, 2.8-2.11
    48. Ma Cuixia, Du Yi, Teng Dongxing, Chen Jia, Wang Hongan, Dai Guozhong, An Adaptive Sketching User Interface for Education System in Virtual Reality, ITME 2009, 8.14-8.16
    49. 张云泉, 2009年中国高性能计算机发展趋势分析与展望, 2009年全国高性能计算学术年会 (HPC China2009), 10.29-10.30
    50. 张云泉, 2009年中国高性能计算机性能TOP100排行榜分析及展望, 2009年全国高性能算法软件研究开发研讨会, 11.26-11.27
    51. 王磊, 张云泉, 刘芳芳, PLASMA并行LU分解高效实现机制分析与测试, 2009年全国高性能计算年会, 10.28-10.30
    52. 袁良, 张云泉, 并行程序设计语言中局部性机制的研究, 2009年全国高性能计算年会, 10.28-10.30
    53. 刘芳芳, 张云泉, 一类稀疏矩阵的混合存储格式SpMV性能优化, 2009年全国高性能计算年会, 10.28-10.30

Copyright © 2019-2024 计算机科学国家重点实验室 All Rights Reserved. 京ICP备05046678号-1