review: Temporal constraint networks

江东明 2013-5-28 12:05

Temporal constraint networks ​ Rina Dechter Israel Institute of Technology, Haifa, Israel Itay Meiri Univ. of California, Los Angeles Judea Pearl Journal Artificial Intelligence - Special issue on knowledge representation archive ...

个人分类: Formal method|2446 次阅读|没有评论

review: Branching Time and Abstraction in Bisimulation Seman

江东明 2013-5-28 10:30

Branching Time and Abstraction in Bisimulation Semantics ROB J. VAN GLABBEEK AND W. PETER WEIJLAND Centturn (war Wiskunde en Informatica, Amsterdam, The Netherlands JACM 1996 Branching time and abstraction in bisimulation semantics.pdf Abstract. In comparativ ...

个人分类: Formal method|2834 次阅读|没有评论

Web Service Composition 综述

江东明 2013-5-27 20:48

*** ##A Survey of Automated Web Service Composition Methods Jinghai Rao and Xiaomeng Su (draft, no published version) Abstract. In today’s Web, Web services are created and updated on the fly. It’s already beyond the human ability to analysis them and generate the compositio ...

个人分类: Software|2745 次阅读|没有评论

本页有 7 篇博文因作者的隐私设置或未通过审核而隐藏