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...
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 ...
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...
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...
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...
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...
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...
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...
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...
This work is supported by the Australian Research Council(ARC)Centre for Complex Systems under Grant No.CEO0348249;the Postgraduate Research Student Overseas Grant from UNSW@ADFA,University of New South Wales.
In this paper, we propose a framework that uses localization for multi-objective optimization to simultaneously guide an evolutionary algorithm in both the decision and objective spaces. The localization is built usin...