Shengyu Shen

32 papers A 3B 3C 3Journal 18Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Activation-Guided Low-Rank Parameter Adaptation for Efficient Model Fine-Tuning.
IEEE Access
Qingchen Wang, Shengyu Shen
2024 J jnl
Highway Ecological Environmental Assessment Based on Modified Remote Sensing Index - Taking the Lhasa-Nyingchi Motorway as an Example.
Remote. Sens.
Xinghan Wang, Qi Liu, Pengfei Jia, Xifeng Huang, Jianhua Yang, Zhengjun Mao, Shengyu Shen
2021 J jnl
A multi-level improved circle pooling for scene classification of high-resolution remote sensing imagery.
Neurocomputing
Kunlun Qi, Chao Yang, Chuli Hu, Han Zhai, Qingfeng Guan, Shengyu Shen
2021 J jnl
Bipartite Network of Interest (BNOI): Extending Co-Word Network with Interest of Researchers Using Sensor Data and Corresponding Applications as an Example.
Sensors
Zongming Dai, Kai Hu, Jie Xie, Shengyu Shen, Jie Zheng, Huayi Wu, Ya Guo
2021 J jnl
Deep Fusion of DOM and DSM Features for Benggang Discovery.
ISPRS Int. J. Geo Inf.
Shengyu Shen, Jiasheng Chen, Shaoyi Zhang, Dongbing Cheng, Zhigang Wang, Tong Zhang
2021 J jnl
Rotation Invariance Regularization for Remote Sensing Image Scene Classification with Convolutional Neural Networks.
Remote. Sens.
Kunlun Qi, Chao Yang, Chuli Hu, Yonglin Shen, Shengyu Shen, Huayi Wu
2020 J jnl
Polycentric Circle Pooling in Deep Convolutional Networks for High-Resolution Remote Sensing Image Recognition.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.
Kunlun Qi, Chao Yang, Chuli Hu, Qingfeng Guan, Wenwen Tian, Shengyu Shen, Feifei Peng
2018 J jnl
Concentric Circle Pooling in Deep Convolutional Networks for Remote Sensing Scene Classification.
Remote. Sens.
Kunlun Qi, Qingfeng Guan, Chao Yang, Feifei Peng, Shengyu Shen, Huayi Wu
2018 J jnl
Identifying the "Ghost City" of domain topics in a keyword semantic space combining citations.
Scientometrics
Kai Hu, Kunlun Qi, Siluo Yang, Shengyu Shen, Xiaoqiang Cheng, Huayi Wu, Jie Zheng, Stephen C. McClure, Tianxing Yu
2015 J jnl
Complementary Synthesis for Encoder with Flow Control Mechanism.
ACM Trans. Design Autom. Electr. Syst.
Ying Qin, Shengyu Shen, Qingbo Wu, Huadong Dai, Yan Jia
2014 — conf
Cloud-Oriented SAT Solver Based on Obfuscating CNF Formula.
APWeb Workshophs
Ying Qin, Shengyu Shen, Jingzhu Kong, Huadong Dai
2014 C conf
Structure-aware CNF obfuscation for privacy-preserving SAT solving.
MEMOCODE
Ying Qin, Shengyu Shen, Yan Jia
2012 J jnl
A Catalogue Service for Internet GIServices Supporting Active Service Evaluation and Real-Time Quality Monitoring.
Trans. GIS
Shengyu Shen, Tong Zhang, Huayi Wu, Zhijia Liu
2012 J jnl
Geospatial Service Web: towards integrated cyberinfrastructure for GIScience.
Geo spatial Inf. Sci.
Jianya Gong, Huayi Wu, Tong Zhang, Zhipeng Gui, Zhenlong Li, Lan You, Shengyu Shen, Jie Zheng, Jing Geng, Kunlun Qi, Wenjing Yang, Zhenqiang Li, Jingmin Yu
2012 J jnl
Inferring Assertion for Complementary Synthesis.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Shengyu Shen, Ying Qin, Kefei Wang, Zhengbin Pang, Jianmin Zhang, Sikun Li
2011 J jnl
A Halting Algorithm to Determine the Existence of the Decoder.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Shengyu Shen, Ying Qin, Liquan Xiao, Kefei Wang, Jianmin Zhang, Sikun Li
2011 J jnl
Extracting minimal unsatisfiable subformulas in satisfiability modulo theories.
Comput. Sci. Inf. Syst.
Jianmin Zhang, Shengyu Shen, Jun Zhang, Weixia Xu, Sikun Li
2011 C conf
Finding First-Order Minimal Unsatisfiable Cores with a Heuristic Depth-First-Search Algorithm.
IDEAL
Jianmin Zhang, Weixia Xu, Jun Zhang, Shengyu Shen, Zhengbin Pang, Tiejun Li, Jun Xia, Sikun Li
2011 A conf
Inferring assertion for complementary synthesis.
ICCAD
Shengyu Shen, Ying Qin, Jianmin Zhang
2011 J jnl
Monitoring and evaluating the quality of Web Map Service resources for optimizing map composition over the internet to support decision making.
Comput. Geosci.
Huayi Wu, Zhenglong Li, Hanwu Zhang, Chaowei Yang, Shengyu Shen
2010 B conf
A halting algorithm to determine the existence of decoder.
FMCAD
Shengyu Shen, Ying Qin, Jianmin Zhang, Sikun Li
2010 J jnl
Synthesizing Complementary Circuits Automatically.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Shengyu Shen, Ying Qin, Kefei Wang, Liquan Xiao, Jianmin Zhang, Sikun Li
2009 A conf
Synthesizing complementary circuits automatically.
ICCAD
Shengyu Shen, Jianmin Zhang, Ying Qin, Sikun Li
2009 J jnl
Tracking Unsatisfiable Subformulas from Reduced Refutation Proof.
J. Softw.
Jianmin Zhang, Shengyu Shen, Sikun Li
2007 — conf
A Heuristic Local Search Algorithm for Unsatisfiable Cores Extraction.
ICCSA (3)
Jianmin Zhang, Shengyu Shen, Sikun Li
2007 C conf
Finding Unsatisfiable Subformulas with Stochastic Method.
IDEAL
Jianmin Zhang, Shengyu Shen, Sikun Li
2006 — conf
Extracting Minimum Unsatisfiable Cores with a Greedy Genetic Algorithm.
Australian Conference on Artificial Intelligence
Jianmin Zhang, Sikun Li, Shengyu Shen
2005 A conf
A Faster Counterexample Minimization Algorithm Based on Refutation Analysis.
DATE
Shengyu Shen, Ying Qin, Sikun Li
2005 — conf
A fast counterexample minimization approach with refutation analysis and incremental SAT.
ASP-DAC
Shengyu Shen, Ying Qin, Sikun Li
2005 — conf
Minimizing Counterexample of ACTL Property.
CHARME
Shengyu Shen, Ying Qin, Sikun Li
2005 B conf
Minimizing Counterexample with Unit Core Extraction and Incremental SAT.
VMCAI
Shengyu Shen, Ying Qin, Sikun Li
2004 B conf
Localizing Errors in Counterexample with Iteratively Witness Searching.
ATVA
Shengyu Shen, Ying Qin, Sikun Li