Yifei Dong
This page is a disambiguation page, it actually contains multiple papers from persons of the same or a similar name.
Known people with the same name:
- Yifei Dong 001 (Henan Normal University, Xinxiang, China)
- Yifei Dong 002 (Columbia University, New York, NY, USA)
- Yifei Dong 003 (University of Technology Sydney, Sydney, NSW, Australia)
- Yifei Dong 004 (University of Malaya, Kuala Lumpur, Malysia)
- Yifei Dong 005 (Taiyuan University of Technology, Jinzhong, Shanxi, China)
- Yifei Dong 006 (Harbin Institute of Technology, Harbin, China)
- Yifei Dong 007 (KTH Royal Institute of Technology, Stockholm, Sweden)
- Yifei Dong 008 (Northwestern Polytechnical University, Xi'an Shaanxi, China)
Bibliography
2026
CoRR, April, 2026
Cognibit: From Digital Exhaustion to Real-World Connection Through Gamified Territory Control and LLM-Powered Twin Networking.
CoRR, April, 2026
CoRR, February, 2026
CoRR, January, 2026
2025
WarriorMath: Enhancing the Mathematical Ability of Large Language Models with a Defect-aware Framework.
CoRR, August, 2025
An Attention-Based Diffusion Policy with Hybrid Farthest Point Sampling for Robotic Intelligent Manipulation.
Proceedings of the Intelligent Robotics and Applications - 18th International Conference, 2025
Proceedings of the European Conference on Mobile Robots, 2025
2023
Artif. Life Robotics, February, 2023
GPS-based location and path tracking in automatic driving system in a fixed route using fusion algorithm.
Artif. Life Robotics, February, 2023
2021
Maximum Likelihood Estimation Based Nonnegative Matrix Factorization for Hyperspectral Unmixing.
Remote. Sens., 2021
2020
Magnetostatic Active Contour Model with Classification Method of Sparse Representation.
J. Electr. Comput. Eng., 2020
2012
PetrolWatch: a participatory image sensing system for automated street level information collection.
PhD thesis, 2012
2007
Effect of Glance Duration on Perceived Complexity and Segmentation of User Interfaces.
Proceedings of the Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments, 2007
2006
Shared Knowledge Construction Process in an Open-source Software Development Community: An Investigation of the Gallery Community.
Proceedings of the Making a Difference...: Proceedings of the 7th International Conference for the Learning Sciences, 2006
2005
Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005
2003
Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking.
Int. J. Softw. Tools Technol. Transf., 2003
Proceedings of the Logic Programming, 19th International Conference, 2003
Proceedings of the 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 2003
Proceedings of the Computer Aided Verification, 15th International Conference, 2003
2002
Proceedings of the Algebraic Methodology and Software Technology, 2002
2000
Proceedings of the Computer Aided Verification, 12th International Conference, 2000
1999
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999
Proceedings of the 5th International Conference on Engineering of Complex Computer Systems (ICECCS '99), 1999
An Optimizing Compiler for Efficient Model Checking.
Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999
1998
Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998