Wei Li

Publication Activity (10 Years)

Years Active: 1981-2022
Publications (10 Years): 24

Top Topics

Propositional Logic

Linear Programming

Machine Learning

Top Venues

Sci. China Inf. Sci.

Frontiers Comput. Sci.

J. Symb. Comput.

Publications

Yi Xu, Yongxin Tong, Yexuan Shi, Qian Tao, Ke Xu, Wei Li
An Efficient Insertion Operator in Dynamic Ridesharing Services. IEEE Trans. Knowl. Data Eng. 34 (8) (2022)
Wei Li, Yuefei Sui
-valued propositional logic. Frontiers Comput. Sci. 16 (4) (2022)
Wei Li, Yuefei Sui
-valued first-order logic. Frontiers Comput. Sci. 15 (5) (2021)
Hao Sheng, Kai Lv, Yang Liu, Wei Ke, Weifeng Lyu, Zhang Xiong, Wei Li
Combining Pose Invariant and Discriminative Features for Vehicle Reidentification. IEEE Internet Things J. 8 (5) (2021)
Kai Lv, Hao Sheng, Zhang Xiong, Wei Li, Liang Zheng
Improving Driver Gaze Prediction With Reinforced Attention. IEEE Trans. Multim. 23 (2021)
Kai Lv, Hao Sheng, Zhang Xiong, Wei Li, Liang Zheng
Pose-Based View Synthesis for Vehicles: A Perspective Aware Method. IEEE Trans. Image Process. 29 (2020)
Wencong Xiao, Jilong Xue, Youshan Miao, Zhen Li, Cheng Chen, Ming Wu, Wei Li, Lidong Zhou
Distributed Graph Computation Meets Machine Learning. IEEE Trans. Parallel Distributed Syst. 31 (7) (2020)
Rui Wang, Wei Li, Liang Zhang
Blur image identification with ensemble convolution neural networks. Signal Process. 155 (2019)
Rui Wang, Wei Li, Rui Li, Liang Zhang
Automatic blur type classification via ensemble SVM. Signal Process. Image Commun. 71 (2019)
Yi Xu, Yongxin Tong, Yexuan Shi, Qian Tao, Ke Xu, Wei Li
An Efficient Insertion Operator in Dynamic Ridesharing Services. ICDE (2019)
Wei Li, Yuefei Sui
A computational framework for Karl Popper's logic of scientific discovery. Sci. China Inf. Sci. 61 (4) (2018)
Wei Li, Yuefei Sui
-Valued First-Order Logic. Artif. Intell. Res. 7 (1) (2018)
Dongchen Jiang, Wei Li
The verification of conversion algorithms between finite automata. Sci. China Inf. Sci. 61 (2) (2018)
Wei Li, Yuefei Sui, Yuhui Wang
The propositional normal default logic and the finite/infinite injury priority method. Sci. China Inf. Sci. 60 (9) (2017)
Wei Li, Yuefei Sui, Jie Luo, Bo Chen
Contrary description logic: Gentzen deduction system. Sci. China Inf. Sci. 60 (11) (2017)
Wei Li, Yuefei Sui
The B4-valued propositional logic with unary logical connectives ~1 / ~2 /¬. Frontiers Comput. Sci. 11 (5) (2017)
Wei Li, Wenjun Wu, Huaimin Wang, Xueqi Cheng, Huajun Chen, Zhi-Hua Zhou, Rong Ding
Crowd intelligence in AI 2.0 era. Frontiers Inf. Technol. Electron. Eng. 18 (1) (2017)
Kai Lv, Hao Sheng, Yanwei Zheng, Zhang Xiong, Wei Li, Wei Ke
Task-Specific Neural Networks for Pose Estimation in Person Re-identification Task. PCM (1) (2017)
Wencong Xiao, Jilong Xue, Youshan Miao, Zhen Li, Cheng Chen, Ming Wu, Wei Li, Lidong Zhou
: Distributed Graph Computation for Machine Learning. NSDI (2017)
Tudor Jebelean, Wei Li, Dongming Wang
Special Issue on Program Verification, Automated Debugging and Symbolic Computation. J. Symb. Comput. 80 (2017)
Dongchen Jiang, Wei Li
Revision with probability. J. Symb. Comput. 80 (2017)
Hao Sheng, Kai Lv, Jiahui Chen, Wei Li
Robust visual tracking using correlation response map. ICIP (2016)
Zeyu Sun, Yunxing Shu, Xiaofei Xing, Wei Wei, Houbing Song, Wei Li
LPOCS: A Novel Linear Programming Optimization Coverage Scheme in Wireless Sensor Networks. Ad Hoc Sens. Wirel. Networks 33 (1-4) (2016)
Wei Li, Yuefei Sui, Meiying Sun
The sound and complete R-calculus for revising propositional theories. Sci. China Inf. Sci. 58 (9) (2015)
Wei Li, Yuefei Sui
A sound and complete R-calculi with respect to contraction and minimal change. Frontiers Comput. Sci. 8 (2) (2014)
He Li, Jie Luo, Wei Li
A formal semantics for debugging synchronous message passing-based concurrent programs. Sci. China Inf. Sci. 57 (12) (2014)
Wei Li
A Semantic Framework for Program Debugging. SCSS (2013)
Michael N. Huhns, Wei Li, Wei-Tek Tsai
Cloud-based Software Crowdsourcing (Dagstuhl Seminar 13362). Dagstuhl Reports 3 (9) (2013)
Wenjun Wu, Wei-Tek Tsai, Wei Li
Creative software crowdsourcing: from components and algorithm development to project concept formations. Int. J. Creative Comput. 1 (1) (2013)
Dongchen Jiang, Yihua Lou, Yi Jin, Jie Luo, Wei Li
A representative model based algorithm for maximal contractions. Sci. China Inf. Sci. 56 (1) (2013)
Wenjun Wu, Wei-Tek Tsai, Wei Li
An evaluation framework for software crowdsourcing. Frontiers Comput. Sci. 7 (5) (2013)
Dongchen Jiang, Wei Li, Jie Luo, Yihua Lou, Zhengzhong Liao
A decomposition based algorithm for maximal contractions. Frontiers Comput. Sci. 7 (6) (2013)
Wei Li, Ning Li
A formal semantics for program debugging. Sci. China Inf. Sci. 55 (1) (2012)
Xiaoyu Chen, Wei Li, Jie Luo, Dongming Wang
Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence - (Project Description). AISC/MKM/Calculemus (2012)
Xiao Zhang, Wei Li, Zhiming Zheng, BingHui Guo
Optimized statistical analysis of software trustworthiness attributes. Sci. China Inf. Sci. 55 (11) (2012)
Wei Li
R-Calculus: A Logical Inference System for Scientific Discovery. TAMC (2012)
Jie Luo, Wei Li
R-calculus without the cut rule. Sci. China Inf. Sci. 54 (12) (2011)
Jie Luo, Wei Li
An algorithm to compute maximal contractions for Horn clauses. Sci. China Inf. Sci. 54 (2) (2011)
Qiang Yang, Zhi-Hua Zhou, Wenji Mao, Wei Li, Nathan Nan Liu
Social Learning. IEEE Intell. Syst. 25 (4) (2010)
Wei Li, Wenqi Huang, Dongchen Jiang, Xianglong Liu
A heuristic algorithm for cube packing with time schedule. Sci. China Inf. Sci. 53 (1) (2010)
Wei Li, Bo Lang
A tetrahedral data model for unstructured data management. Sci. China Inf. Sci. 53 (8) (2010)
Wei Li
Logical verification of scientific discovery. Sci. China Inf. Sci. 53 (4) (2010)
Zhiming Zheng, Shilong Ma, Wei Li, Wei Wei, Xin Jiang, ZhanLi Zhang, BingHui Guo
Dynamical characteristics of software trustworthiness and their evolutionary complexity. Sci. China Ser. F Inf. Sci. 52 (8) (2009)
Zhiming Zheng, Shilong Ma, Wei Li, Xin Jiang, Wei Wei, LiLi Ma, Shaoting Tang
Complexity of software trustworthiness and its dynamical statistical analysis methods. Sci. China Ser. F Inf. Sci. 52 (9) (2009)
Wei Li
A Logical Framework for Software Testing. TASE (2008)
Wei Li
R-Calculus: An Inference System for Belief Revision. Comput. J. 50 (4) (2007)
Wei Li
An Inductive Inference System and Its Rationality. AISC (2006)
Ke Xu, Wei Li
Many hard examples in exact phase transitions. Theor. Comput. Sci. 355 (3) (2006)
Shangmin Luan, Guozhong Dai, Wei Li
A programmable approach to revising knowledge bases. Sci. China Ser. F Inf. Sci. 48 (6) (2005)
Ke Xu, Wei Li
On the average similarity degree between solutions of random k-SAT and random CSPs. Discret. Appl. Math. 136 (1) (2004)
Wei Li, Shilong Ma
Limits of theory sequences over algebraically closed fields and applications. Discret. Appl. Math. 136 (1) (2004)
Wei Li
A development calculus for specifications. Sci. China Ser. F Inf. Sci. 46 (5) (2003)
Ke Xu, Wei Li
Many Hard Examples in Exact Phase Transitions with Application to Generating Hard Satisfiable Instances CoRR (2003)
Shangmin Luan, Guozhong Dai, Wei Li
A Programmable Approach to Maintenance of a Finite Knowledge Base. J. Comput. Sci. Technol. 18 (1) (2003)
Wei Li
A Development Calculus for Specifications CoRR (2003)
Wei Li
What Is the Right Logical Framework for Evolution of Knowledge. APLAS (2002)
Wei Li, Shilong Ma, Yuefei Sui, Ke Xu
A Logical Framework for Convergent Infinite Computations CoRR (2001)
Ke Xu, Wei Li
An Average Analysis of Backtracking on Random Constraint Satisfaction Problems. Ann. Math. Artif. Intell. 33 (1) (2001)
Ke Xu, Wei Li
On the Average Similarity Degree between Solutions of Random k-SAT and Random CSPs CoRR (2000)
Wei Li, Shangmin Luan
Operational and Complete Approaches to Belief Revision. J. Comput. Sci. Technol. 15 (3) (2000)
Ke Xu, Wei Li
An Average Analysis of Backtracking on Random Constraint Satisfaction Problems CoRR (2000)
Wei Li
A Computational Framework for Convergent Agents. IDEAL (2000)
Ke Xu, Wei Li
Exact Phase Transitions in Random Constraint Satisfaction Problems CoRR (2000)
Ke Xu, Wei Li
Exact Phase Transitions in Random Constraint Satisfaction Problems. J. Artif. Intell. Res. 12 (2000)
Ke Xu, Wei Li
The SAT Phase Transition CoRR (2000)
Wei Li
A Logical Framework for Inductive Inference and Its Rationality. Australian Joint Conference on Artificial Intelligence (1999)
Shangmin Luan, Wei Li
An incremental approach to automatic algorithm design. J. Comput. Sci. Technol. 14 (4) (1999)
D. Liang, Wei Li
Multi-strategy Local Search for SAT Problem. ECAI (1998)
Xingfu Wu, Wei Li
Performance models for scalable cluster computing. J. Syst. Archit. 44 (3-4) (1998)
Wenqi Huang, Wei Li
A hopeful CNF-SAT algorithm - Its high efficiency, industrial application and limitation. J. Comput. Sci. Technol. 13 (1) (1998)
Ningchuan Shen, Wei Li
R-calculus for ELP: An operational approach to knowledge base maintenance. J. Comput. Sci. Technol. 12 (1) (1997)
Xingfu Wu, Wei Li
Scalability of Parallel Algorithm Implementation. ISPAN (1996)
Wei Li
A logical framework for knowledge base maintenance. J. Comput. Sci. Technol. 10 (3) (1995)
Wei Li, Ningchuan Shen, Ju Wang
R-Calculus: a Logical Approach for Knowledge Base Maintenance. Int. J. Artif. Intell. Tools 4 (1-2) (1995)
Zuoquan Lin, Wei Li
On Logic of Paradox. ISMVL (1995)
Zuoquan Lin, Wei Li
A Note on Tableaux of Logic of Paradox. KI (1994)
Wei Li
A Logical Framework for Evolution of Specifications. ESOP (1994)
Wei Li, Ningchuan Shen, Ju Wang
R-calculus: A Logical Approach for Knowledge Base Maintenance. ICTAI (1994)
Xianchang Wang, Huowang Chen, Quingping Zhao, Wei Li
W - A Logic System Based on the Shared Common Knowledge Views. IJCAI (1993)
Wei Li
A Theory of Requirements Capture and Its Applications. TAPSOFT (1993)
Wei Li
An Interactive Consistency Maintenance System and Its Logical Framework. ICTAI (1993)
Wei Li
A comparative study of default reasoning and epistemic processes. J. Comput. Sci. Technol. 8 (3) (1993)
Zijian Zheng, Wei Li
A Hybrid Knowledge Engineering Development Environment (Kede). Int. J. Artif. Intell. Tools 1 (4) (1992)
Wei Li
Towards a Theory of Epistemic Processes. IWAR (1992)
Wei Li
A logic theory of learning from experience. ICTAI (1991)
Zijian Zheng, Wei Li
An introduction to KEDE-A hybrid knowledge engineering development environment. TAI (1990)
Wei Li
A type-theoretic approach for program development. Future Gener. Comput. Syst. 6 (1) (1990)
Wei Li
A Type-Theoretic Approach to Program Development. IFIP Congress (1989)
Wei Li
Implementing first order logic in Modula-2 using an intuitionistic approach. ACM Conference on Computer Science (1988)
Matthew C. B. Hennessy, Wei Li
Translating a Subset of Ada into CCS. Formal Description of Programming Concepts (1982)
Wei Li
An operational semantics of multitasking and exception handling in Ada. AdaTEC Conference on Ada (1982)
Matthew Hennessy, Wei Li, Gordon D. Plotkin
A First Attempt at Translating CSP into CCS. ICDCS (1981)