Art

J-GLOBAL ID：201802276831928138   Reference number：18A1728490

Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis

効率的テンプレートベース非線形不変合成のための一般化均質多項式【JST・京大機械翻訳】

Author (3)： Kojima Kensuke (Department of Communications and Computer Engineering, Graduate School of Informatics, Kyoto University, Yoshida-Honmachi, Sakyo-ku, Kyoto 606-8501, Japan) ,  Kinoshita Minoru (Department of Communications and Computer Engineering, Graduate School of Informatics, Kyoto University, Yoshida-Honmachi, Sakyo-ku, Kyoto 606-8501, Japan) ,  Suenaga Kohei (Department of Communications and Computer Engineering, Graduate School of Informatics, Kyoto University, Yoshida-Honmachi, Sakyo-ku, Kyoto 606-8501, Japan)
Material： Theoretical Computer Science  (Theoretical Computer Science Part B. Logic, Semantics and Theory of Programming)
Volume： 747  Page： 33-47  Publication year： 2018 
JST Material Number： T0022A  ISSN： 0304-3975  CODEN： TCSDIQ  Document type： Article
Article type： 原著論文  Country of issue： Netherlands (NLD)  Language： ENGLISH (EN)

Abstract/Point： The template-based method is o...

Register(free) or Log In to access     To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=18A1728490&from=J-GLOBAL&jstjournalNo=T0022A") }}

Thesaurus term： sound ,  algebra ,  *polynomial ,  algorithm ,  *invariance

Author keywords (3)： Static analysis ,  Polynomial invariants ,  Homogeneous polynomial

JST classification (2)： Pattern recognition  (JE07000S) ,  Graphic and image processing in general  (JE04010I)

Terms in the title (5)： テンプレート ,  非線形 ,  不変 ,  一般化 ,  多項式