QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 限定条件 内容类型：会议论文    专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 A semantics for every GSPN 会议论文 34th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2013, Milan, Italy, June 24, 2013 - June 28, 2013 Eisentraut, Christian (1); Hermanns, Holger (1); Katoen, Joost-Pieter (2); Zhang, Lijun (3) 收藏  |  浏览/下载：11/0  |  提交时间：2014/12/16 flp semantics without circular justifications for general logic programs 会议论文 26th AAAI Conference on Artificial Intelligence and the 24th Innovative Applications of Artificial Intelligence Conference, AAAI-12 / IAAI-12, Toronto, ON, Canada, July 22, 2012 - July 26, 2012 Shen Yi-Dong; Wang Kewen 收藏  |  浏览/下载：14/0  |  提交时间：2013/09/22 Aggregates  Artificial intelligence  Data description  Semantics   loop formulas for description logic programs 会议论文 26th International Conference on Logic Programming, Edinburgh, SCOTLAND, JUL 16-19, Wang Yisong; You Jia-Huai; Yuan Li Yan; Shen Yi-Dong 收藏  |  浏览/下载：12/0  |  提交时间：2011/03/31 semantic web  description logic programs  answer sets  loop formulas   a model-based framework for adapting interaction mismatches of time-aware web services 会议论文 2010 International Conference on Service Sciences, ICSS 2010, Hangzhou, China, 43963 Zhang Guangquan; Wang Sheng; Rong Mei; Li Qingchun 收藏  |  浏览/下载：6/0  |  提交时间：2011/03/31 Intelligent control  Model checking  Quality of service  Web services   multifractal analysis and model of the mpeg-4 video traffic 会议论文 IEEE International Performance, Computing and Communications Conference, PHOENIX, AZ, APR 09-11, Hong F; Wu ZM 收藏  |  浏览/下载：13/0  |  提交时间：2011/07/29 Haar transform  MPEG-4 video traffic  encoded video  multifractal analysis  multifractal characteristics  multifractal formalism  multifractal wavelet model  networking protocols  resource management  spectral analysis  statistical analysis  wavelet trans