Pub Date : 2014-03-19DOI: 10.3724/SP.J.1016.2013.02245
Xiujuan Ji, Jufeng Yang, Jing Xu, Xiaohong Li, Lei Feng
{"title":"Infinite Loop Detection Based on Chains of Recurrence Algebra and Convergence of Iterative Sequence: Infinite Loop Detection Based on Chains of Recurrence Algebra and Convergence of Iterative Sequence","authors":"Xiujuan Ji, Jufeng Yang, Jing Xu, Xiaohong Li, Lei Feng","doi":"10.3724/SP.J.1016.2013.02245","DOIUrl":"https://doi.org/10.3724/SP.J.1016.2013.02245","url":null,"abstract":"","PeriodicalId":35776,"journal":{"name":"计算机学报","volume":"36 1","pages":"2245-2256"},"PeriodicalIF":0.0,"publicationDate":"2014-03-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70042304","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2014-03-19DOI: 10.3724/SP.J.1016.2013.01835
Zhang Yi, Lu Kai, Gao Yinghui
With the decreasing development of the classical computation,quantum computation becomes the increasing hot topic recently.In this paper,the fundamental theory of quantum computation is briefly introduced firstly.Then,we give the state of the art of quantum computation and research principles in this field from two different research directions(quantum algorithms and quantum-inspired algorithms).At last,some trends of quantum computation in the future research are given.Through the review and prospect of the whole field,this paper could give a significant guide for the future development of quantum computation.
{"title":"Quantum Algorithms and Quantum-Inspired Algorithms","authors":"Zhang Yi, Lu Kai, Gao Yinghui","doi":"10.3724/SP.J.1016.2013.01835","DOIUrl":"https://doi.org/10.3724/SP.J.1016.2013.01835","url":null,"abstract":"With the decreasing development of the classical computation,quantum computation becomes the increasing hot topic recently.In this paper,the fundamental theory of quantum computation is briefly introduced firstly.Then,we give the state of the art of quantum computation and research principles in this field from two different research directions(quantum algorithms and quantum-inspired algorithms).At last,some trends of quantum computation in the future research are given.Through the review and prospect of the whole field,this paper could give a significant guide for the future development of quantum computation.","PeriodicalId":35776,"journal":{"name":"计算机学报","volume":"36 1","pages":"1835-1842"},"PeriodicalIF":0.0,"publicationDate":"2014-03-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70061561","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2014-03-19DOI: 10.3724/SP.J.1016.2013.01843
Bing Zhang
{"title":"A Parallel Matrix Multiplication Algorithm Based on Network of Moore Graph of Diameter 2: A Parallel Matrix Multiplication Algorithm Based on Network of Moore Graph of Diameter 2","authors":"Bing Zhang","doi":"10.3724/SP.J.1016.2013.01843","DOIUrl":"https://doi.org/10.3724/SP.J.1016.2013.01843","url":null,"abstract":"","PeriodicalId":35776,"journal":{"name":"计算机学报","volume":"36 1","pages":"1843-1849"},"PeriodicalIF":0.0,"publicationDate":"2014-03-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70061608","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2014-03-19DOI: 10.3724/SP.J.1016.2013.02179
Yi Du, Feng Tian, Cuixia Ma, G. Dai, Hongan Wang
{"title":"A Mobile User Interface Generation Framework Based on Multi-scale Description: A Mobile User Interface Generation Framework Based on Multi-scale Description","authors":"Yi Du, Feng Tian, Cuixia Ma, G. Dai, Hongan Wang","doi":"10.3724/SP.J.1016.2013.02179","DOIUrl":"https://doi.org/10.3724/SP.J.1016.2013.02179","url":null,"abstract":"","PeriodicalId":35776,"journal":{"name":"计算机学报","volume":"36 1","pages":"2179-2190"},"PeriodicalIF":0.0,"publicationDate":"2014-03-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70042133","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2014-03-19DOI: 10.3724/SP.J.1016.2013.02224
Lu-Lu Wang, Bixin Li
{"title":"A New Method for Profiling Inter-Procedural Paths with Loops: A New Method for Profiling Inter-Procedural Paths with Loops","authors":"Lu-Lu Wang, Bixin Li","doi":"10.3724/SP.J.1016.2013.02224","DOIUrl":"https://doi.org/10.3724/SP.J.1016.2013.02224","url":null,"abstract":"","PeriodicalId":35776,"journal":{"name":"计算机学报","volume":"36 1","pages":"2224-2235"},"PeriodicalIF":0.0,"publicationDate":"2014-03-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70042233","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2014-03-19DOI: 10.3724/SP.J.1016.2013.02230
Zixin Guo, Yang Yi, Han-ju Li
{"title":"Recognizing Actions from Videos in the Wild via Adaptive Feature Fusion: Recognizing Actions from Videos in the Wild via Adaptive Feature Fusion","authors":"Zixin Guo, Yang Yi, Han-ju Li","doi":"10.3724/SP.J.1016.2013.02230","DOIUrl":"https://doi.org/10.3724/SP.J.1016.2013.02230","url":null,"abstract":"","PeriodicalId":35776,"journal":{"name":"计算机学报","volume":"36 1","pages":"2330-2339"},"PeriodicalIF":0.0,"publicationDate":"2014-03-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70042248","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2014-03-19DOI: 10.3724/SP.J.1016.2013.02070
X. Lv, Songping Fu, Jian Song, Liangcai Gao, Z. Tang
{"title":"A Gestalt-Based Method of Envelope Extraction for Multi-Object Shapes: A Gestalt-Based Method of Envelope Extraction for Multi-Object Shapes","authors":"X. Lv, Songping Fu, Jian Song, Liangcai Gao, Z. Tang","doi":"10.3724/SP.J.1016.2013.02070","DOIUrl":"https://doi.org/10.3724/SP.J.1016.2013.02070","url":null,"abstract":"","PeriodicalId":35776,"journal":{"name":"计算机学报","volume":"36 1","pages":"2070-2077"},"PeriodicalIF":0.0,"publicationDate":"2014-03-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70041786","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2014-03-19DOI: 10.3724/SP.J.1016.2013.01993
Wei-wei Zhang, Haitao Wei, Junqing Yu, He Li, Hao Li, Qiu-Ji Yang
{"title":"COStream: A Language for Dataflow Application and Compiler: COStream: A Language for Dataflow Application and Compiler","authors":"Wei-wei Zhang, Haitao Wei, Junqing Yu, He Li, Hao Li, Qiu-Ji Yang","doi":"10.3724/SP.J.1016.2013.01993","DOIUrl":"https://doi.org/10.3724/SP.J.1016.2013.01993","url":null,"abstract":"","PeriodicalId":35776,"journal":{"name":"计算机学报","volume":"36 1","pages":"1993-2006"},"PeriodicalIF":0.0,"publicationDate":"2014-03-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70042006","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2014-03-19DOI: 10.3724/SP.J.1016.2013.01953
Yanxiang He, Hua Shen
{"title":"A Stochastic Petri Net-Based Performance Bottleneck Location Strategy for Web Services Composition: A Stochastic Petri Net-Based Performance Bottleneck Location Strategy for Web Services Composition","authors":"Yanxiang He, Hua Shen","doi":"10.3724/SP.J.1016.2013.01953","DOIUrl":"https://doi.org/10.3724/SP.J.1016.2013.01953","url":null,"abstract":"","PeriodicalId":35776,"journal":{"name":"计算机学报","volume":"36 1","pages":"1953-1966"},"PeriodicalIF":0.0,"publicationDate":"2014-03-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70041866","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}