Wei Li

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