云南高校图书馆联盟文献共享服务平台- GUIDED

GUIDED: 作品数：877被引量：2157H指数：18; 导出分析报告; 相关领域：医药卫生更多>>; 相关作者：董仕方姗卢显良李炯付小明更多>>; 相关机构：西安外国语大学清华大学山东省立医院电子科技大学更多>>; 相关期刊：更多>>; 相关基金：国家自然科学基金国家重点基础研究发展计划中国博士后科学基金广东省自然科学基金更多>>

SAGA:Sumn arization-Guided Assert Statement Generation: 《Journal of Computer Science & Technology》2025年第1期138-157,共20页Yu-Wei Zhang Zhi Jin Ze-Jun Wang Ying Xing Ge Li; supported by the National Natural Science Foundation of China under Grant Nos.62072007,62192733,61832009,62192731,and 62192730.; Generating meaningful assert statements is one of the key challenges in automated test case generation,which requires understanding the intended functionality of the tested code.Recently,deep learning based models hav...; 关键词：assert generation deep learning method summarization pre-trained language model unit testing

DeltaFuzz: Historical Version Information Guided Fuzz Testing被引量：1: 《Journal of Computer Science & Technology》2022年第1期29-49,共21页Jia-Ming Zhang Zhan-Qi Cui Xiang Chen Huan-Huan Wu Li-Wei Zheng Jian-Bin Liu; supported by the Leading-Edge Technology Program of Jiangsu Natural Science Foundation of China under Grant No.BK20202001;the National Natural Science Foundation of China under Grant No.61702041;the Beijing Information Science and Technology University“Qin-Xin Talent”Cultivation Project under Grant No.QXTCP C201906.; With the widespread use of agile software development methods,such as agile and scrum,software is iteratively updated more frequently.To ensure the quality of the software,regression testing is conducted before new ve...; 关键词：fuzz testing regression testing change impact analysis fitness function

CNLPA-MVS:Coarse-Hypotheses Guided Non-Local PAtchMatch Multi-View Stereo被引量：1: 《Journal of Computer Science & Technology》2021年第3期572-587,共16页Qitong Zhang Shan Luo Lei Wang Jieqing Feng; supported by the National Natural Science Foundation of China under Grant Nos.61732015,61932018,and 61472349;the National Key Research and Development Program of China under Grant No.2017YFB0202203.; In multi-view stereo,unreliable matching in low-textured regions has a negative impact on the completeness of reconstructed models.Since the photometric consistency of low-textured regions is not discriminative under ...; 关键词：3D reconstruction multi-view stereo PatchMatch dynamic programming

Monocular Video Guided Garment Simulation: 《Journal of Computer Science & Technology》2015年第3期528-539,共12页李发明陈小武周彬卢飞翔郭侃符强; This work was partially supported by the National High Technology Research and Development 863 Program of China under Grant No. 2013AA013801, the National Natural Science Foundation of China under Grant No. 61325011, and the Specialized Research Fund for the Doctoral Program of Higher Education of China under Grant No. 20131102130002.; We present a prototype to generate a garment-shape sequence guided by a monocular video sequence. It is a combination of a physically-based simulation and a boundary-based modification. Given a garment in the video wo...; 关键词：garment simulation monocular video shape correspondence

Orientation Field Guided Texture Synthesis被引量：2: 《Journal of Computer Science & Technology》2013年第5期827-835,共9页刘蓓蓓翁彦琳王建南童一颖; Supported in part by the National Science Foundation of USA under Grant Nos. IIS-0953096 and CMMI-1250261;the National Natural Science Foundation of China under Grant Nos. 61003145 and 61210007;the National High Technology Research and Development 863 Program of China under Grant No. 2012AA011503; We present a framework for example-based texture synthesis with feature directions aligned to vector fields with 2-way rotational symmetry, also known as orientation fields. Through a simple variational formulation, t...; 关键词：orientation field natural boundary condition texture synthesis

Edit Propagation via Edge-Aware Filtering被引量：2: 《Journal of Computer Science & Technology》2012年第4期830-840,共11页胡伟董朝袁国栋; supported by the National Natural Science Foundation of China under Grant No.61003132;the National High Technology Research and Development 863 Program of China under Grant No. 2010AA012400; This paper presents a novel framework for efficiently propagating the stroke-based user edits to the regions with similar colors and locations in high resolution images and videos. Our framework is based on the key ob...; 关键词：edit propagation edge-aware domain transform guided filter

Lazy Slicing for State-Space Exploration被引量：1: 《Journal of Computer Science & Technology》2012年第4期872-890,共19页黄少滨黄宏涛陈志远吕天阳张涛; Supported by the National Natural Science Foundation of China under Grant No. 60873038;the National Key Technology Research and Development Program of the Ministry of Science and Technology of China under Grant Nos. 2009BAH42B02 and 2012BAH08B02; CEGAR （Counterexample-guided abstraction refinement）-based slicing is one of the most important techniques in reducing the state space in model checking. However, CEGAR-based slicing repeatedly explores the state sp...; 关键词：counterexample-guided abstraction refinement spurious counterexample over-approximate slicing local refinement lazy slicing

Guided Structure-Aware Review Summarization被引量：2: 《Journal of Computer Science & Technology》2011年第4期676-684,共9页金锋黄民烈朱小燕; supported by the National Natural Science Foundation of China under Grant Nos.60973104 and 60803075;with the aid of a grant from the International Development Research Center,Ottawa,Canada IRCI Project; Although the goal of traditional text summarization is to generate summaries with diverse information, most of those applications have no explicit definition of the information structure. Thus, it is difficult to gene...; 关键词：structure-aware summarization review mining topic model importance is modeled

Test-Data Generation Guided by Static Defect Detection被引量：1: 《Journal of Computer Science & Technology》2009年第2期284-293,共10页郝丹张路刘明浩李合孙家骕; sponsored by the National High-Tech Research and Development 863 Program of China under Grant No.2007AA010301;the National Natural Science Foundation of China under Grant Nos. 60803012 and 90718016;China Postdoctoral Science Foundation funded project under Grant No. 20080440254; Software testing is an important technique to assure the quality of software systems, especially high-confidence systems. To automate the process of software testing, many automatic test-data generation techniques hav...; 关键词：test-data generation suspicious statements software testing constraint satisfaction problem

Runtime Engine for Dynamic Profile Guided Stride Prefetching: 《Journal of Computer Science & Technology》2008年第4期633-643,共11页邹琼李晓峰章隆兵; the National Natural Science Foundation of China under Grant Nos.60673146,60603049,60736012,and 60703017;the National High Technology Development 863 Program of China under Grant No.2006AA010201 and No.2007AA01Z114;the National Basic Research Program of China under Grant No.2005CB321601.; Stride prefetching is recognized as an important technique to improve memory access performance. The prior work usually profiles and/or analyzes the program behavior offline, and uses the identified stride patterns to...; 关键词：stride prefetching dynamic profiling runtime system

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

GUIDED

检索结果分析

下载全文

高级检索检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

GUIDED

检索结果分析

下载全文

用户登录

高级检索检索式检索