Yifei Dong

Orcid: 0000-0002-7995-9657

According to our database1, Yifei Dong authored at least 47 papers between 1998 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Toward Web3 Applications: Easing the Access and Transition.
IEEE Trans. Comput. Soc. Syst., October, 2024

Characterizing Manipulation Robustness Through Energy Margin and Caging Analysis.
IEEE Robotics Autom. Lett., September, 2024

HybridFusion: LiDAR and Vision Cross-Source Point Cloud Fusion.
IEEE Robotics Autom. Lett., February, 2024

Chat-PM: A Class of Composite Hybrid Aerial/Terrestrial Precise Manipulator.
IEEE Robotics Autom. Lett., February, 2024

Co-Designing Tools and Control Policies for Robust Manipulation.
CoRR, 2024

Human-Aware Vision-and-Language Navigation: Bridging Simulation to Reality with Dynamic Human Interactions.
CoRR, 2024

Caging in Motion: Characterizing Robustness in Manipulation through Energy Margin and Dynamic Caging Analysis.
CoRR, 2024

AICAttack: Adversarial Image Captioning Attack with Attention-Based Optimization.
CoRR, 2024

AutoFusion: Autonomous Visual Geolocation and Online Dense Reconstruction for UAV Cluster.
Proceedings of the IEEE International Conference on Robotics and Automation, 2024

Quasi-static Soft Fixture Analysis of Rigid and Deformable Objects.
Proceedings of the IEEE International Conference on Robotics and Automation, 2024

SHIELD: LLM-Driven Schema Induction for Predictive Analytics in EV Battery Supply Chain Disruptions.
Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing: EMNLP 2024, 2024

Chain of Thought Prompting in Vision-Language Model for Vision Reasoning Tasks.
Proceedings of the AI 2024: Advances in Artificial Intelligence, 2024

2023
Grasping Lightweight Objects With Chat-PM: A Rotorwash-Aware Motion Planning Method.
IEEE Robotics Autom. Lett., December, 2023

Learning-based algorithms with application to urban scene autonomous driving.
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

Chat-PM: A Class of Composite Hybrid Aerial/Terrestrial Precise Manipulator.
CoRR, 2023

ClusterFusion: Real-time Relative Positioning and Dense Reconstruction for UAV Cluster.
CoRR, 2023

HybridFusion: LiDAR and Vision Cross-Source Point Cloud Fusion.
CoRR, 2023

ACGAN-GNNExplainer: Auxiliary Conditional Generative Explainer for Graph Neural Networks.
Proceedings of the 32nd ACM International Conference on Information and Knowledge Management, 2023

2022
SytaB: A Class of Smooth-Transition Hybrid Terrestrial/Aerial Bicopters.
IEEE Robotics Autom. Lett., 2022

Towards Web3 Applications: Easing the Access and Transition.
CoRR, 2022

Leveraging Text Representation and Face-head Tracking for Long-form Multimodal Semantic Relation Understanding.
Proceedings of the MM '22: The 30th ACM International Conference on Multimedia, Lisboa, Portugal, October 10, 2022

2021
Maximum Likelihood Estimation Based Nonnegative Matrix Factorization for Hyperspectral Unmixing.
Remote. Sens., 2021

Quantitative, Near Real-Time Mapping of Bushfires Through Integration of Optical and SAR Remote Sensing Techniques.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2021

2020
Magnetostatic Active Contour Model with Classification Method of Sparse Representation.
J. Electr. Comput. Eng., 2020

A Superpixel Boundary Optimization (SBO) Framework Based on Information Measure Function.
IEEE Access, 2020

2012
PetrolWatch: a participatory image sensing system for automated street level information collection.
PhD thesis, 2012

2011
Automatic image capturing and processing for PetrolWatch.
Proceedings of the 17th IEEE International Conference on Networks, 2011

2010
Statistical reliability for energy efficient data transport in wireless sensor networks.
Wirel. Networks, 2010

2008
Performance evaluation of a wireless sensor network based tracking system.
Proceedings of the IEEE 5th International Conference on Mobile Adhoc and Sensor Systems, 2008

Automatic Collection of Fuel Prices from a Network of Mobile Cameras.
Proceedings of the Distributed Computing in Sensor Systems, 2008

Implementation aspects of reliable transport protocols in wireless sensor networks.
Proceedings of the Third International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2008), 2008

2007
Detection and tracking using wireless sensor networks.
Proceedings of the 5th International Conference on Embedded Networked Sensor Systems, 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
Performing clustering analysis on collaborative models.
Intell. Data Anal., 2005

A Provably Correct Compiler for Efficient Model Checking of Mobile Processes.
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

Online Justification for Tabled Logic Programs.
Proceedings of the Logic Programming, 19th International Conference, 2003

Model Checking and Evidence Exploration.
Proceedings of the 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 2003

Evidence Explorer: A Tool for Exploring Model-Checking Proofs.
Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002
Vacuity Checking in the Modal Mu-Calculus.
Proceedings of the Algebraic Methodology and Software Technology, 2002

2000
XMC: A Logic-Programming-Based Verification Toolset.
Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

Practical Considerations in Protocol Verification: The E-2C Case Study.
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
Logic Programming and Model Checking.
Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998


  Loading...