位置：成果数据库 > 会议 > 会议详情页
基于Haskell和CHR的智能Agent的实现
  • 所属机构名称：南京邮电大学
  • 会议名称：第四届中国Web智能学术会议(CWI 2010)
  • 成果类型：会议
  • 会场：重庆
  • 相关项目：基于模块单子语义的程序切片及其关键技术研究
作者： 伍明钰|杨庚|张迎周|
同会议论文项目
基于模块单子语义的程序切片及其关键技术研究
期刊论文 44 会议论文 15
同项目会议论文
Web Services Clustering Using SOM based on Kernel Cosine Similarity Measure
Slicing Concurrent Programs Based on ProgramReachability Graphs
基于单子技术的服务计算形式化方法研究
Feature Distribution Based Quick Image Retrieval
Program Slicing Based Web Service Publishing and Discovery
Modular Monadic Slicing of Concurrent Programs
Modular Monadic Program Slicing
A Formal Method for Program Slicing
A Slice Monad Transformer and Its Applications in Program Slicing
Program Slicing Based Web-Service Generation and Composition
WordNet-powered Web Services Discovery Using Kernel-based Similarity Matching Mechanism
Modular Monadic Slicing in the Presence of Pointers
Contribution-Based Call Stack Abstraction and Its Application in Pointer Analysis of AspectJ Program
The Feasibility of Launching Reduction of Quality(RoQ) Attacks in 802.11 Wireless Networks