Wensheng Guo

Publication Activity (10 Years)

Years Active: 2002-2021
Publications (10 Years): 5

Top Topics

Davis Putnam Logemann Loveland

Boolean Satisfiability

Top Venues

计算机科学

Publications

Xiutai Lu, Yang Gao, Wensheng Guo, Fengbo Zhang, Xia Yang, Jun Wan
Towards Formal Verification of Dynamic Memory Allocator Properties Using BIP Framework. CSAE (2021)
Wensheng Guo, Yue Zhang, Xiaoyan Hu, Ting Zhang, Ming Liang, Xiangliang Yang, Hai Yang
Region Growing Algorithm Combined With Fast Peak Detection for Segmenting Colloidal Gold Immunochromatographic Strip Images. IEEE Access 7 (2019)
Wensheng Guo, Ling Bao, Zhicheng Qian, Wanli Cao
基于自适应叠合分割与深度神经网络的人数统计方法 (People Counting Method Based on Adaptive Overlapping Segmentation and Deep Neural Network). 计算机科学 45 (8) (2018)
Xia Yang, Shan Yang, Wensheng Guo, Haiyong Sun, Xiaoyan Zhao, Yang Zhang
针对RTOS的轻量级强制访问控制技术的研究与实现 (Research and Implementation of Light-weight Mandatory Access Control Technology for RTOS). 计算机科学 45 (3) (2018)
Shichao Liao, Xia Yang, Wensheng Guo, Haiyong Sun, Zhixiang Jiang, Xiaoyan Zhao
Gemini: A Lightweight Virtualization Architecture for Protecting Privacy and Security of Smartphone. ICESS (2016)
Yongsheng Xu, Guowu Yang, Zhengwei Chang, Desheng Zheng, Wensheng Guo
Terminal Satisfiability in GSTE. J. Appl. Math. 2014 (2014)
Guowu Yang, William N. N. Hung, Xiaoyu Song, Wensheng Guo
A Transformation-Based Approach to Implication of GSTE Assertion Graphs. J. Appl. Math. 2013 (2013)
Wensheng Guo, Guowu Yang, William N. N. Hung, Xiaoyu Song
Complete Boolean Satisfiability Solving Algorithms Based on Local Search. J. Comput. Sci. Technol. 28 (2) (2013)
Qianqi Le, Guowu Yang, William N. N. Hung, Wensheng Guo
Reliable NoC Mapping Based on Scatter Search. ICICA (LNCS) (2012)
Tong Liu, Wensheng Guo
A Large-Scale Graph Learning Framework of Technological Gatekeepers by MapReduce. IPDPS Workshops (2012)
Rui Zhou, Wensheng Guo, Nan Sang
Adaptivity in Location-Based Services. ICICA (1) (2012)
Wensheng Guo, Guowu Yang, Qianqi Le, William N. N. Hung
Complete SAT Solver Based on Set Theory. ICICA (LNCS) (2012)
Wei Jiang, Wensheng Guo, Nan Sang
Periodic Real-Time Message Scheduling for Confidentiality-Aware Cyber-Physical System in Wireless Networks. FCST (2010)
Wensheng Guo, Guohe Li
Predicting Click Rates by Consistent Bipartite Spectral Graph Model. ADMA (2009)
Junping Du, Wensheng Guo, Ruijie Wang
Tourism Room Occupancy Rate Prediction Based on Neural Network. ISNN (3) (2007)
Ruijie Wang, Junping Du, Wensheng Guo
Realization for Destination Marketing System Platform Based on Data Mining. ISDA (2) (2006)
Wensheng Guo, Junping Du, Ruijie Wang
Forecasting Model of Holiday Tourism Requirement on the Basis of RBF Neural Network. ISDA (1) (2006)
Junping Du, Min Zuo, Wensheng Guo
Intelligent Golden Week Holiday Tourism Forecasting. ISDA (2) (2006)
Junping Du, Wensheng Guo, Yixin Yin
An Application of Mobile Agent System in Network Management. IKE (2003)
Junping Du, Wensheng Guo, Yixin Yin
The Study on the Distributed National Golden WeekHoliday Tourism Forecast System. IKE (2003)
Stephen D. Cranstoun, Hernando C. Ombao, Rainer von Sachs, Wensheng Guo, Brian Litt
Time-frequency spectral estimation of multichannel EEG using the Auto-SLEX method. IEEE Trans. Biomed. Eng. 49 (9) (2002)