We stand with Ukraine

We stand with Ukraine

Yifei Dong

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2025

AICAttack: Adversarial Image Captioning Attack with Attention-based Optimization.

[BibT_eX]

[DOI]

,

,

,

,

,

Mach. Intell. Res., August, 2025

GoViG: Goal-Conditioned Visual Navigation Instruction Generation.

[BibT_eX]

[DOI]

,

,

,

,

,

,

,

Alexander G. Hauptmann

CoRR, August, 2025

WarriorMath: Enhancing the Mathematical Ability of Large Language Models with a Defect-aware Framework.

[BibT_eX]

[DOI]

,

,

,

,

,

,

,

,

,

,

Saravan Rajmohan

,

CoRR, August, 2025

Robustness-Aware Tool Selection and Manipulation Planning with Learned Energy-Informed Guidance.

[BibT_eX]

[DOI]

,

,

Sylvain Calinon

,

Florian T. Pokorny

CoRR, June, 2025

The First WARA Robotics Mobile Manipulation Challenge - Lessons Learned.

[BibT_eX]

[DOI]

CoRR, May, 2025

Gain-Scheduling Tracking Control for Quadrotors Under Ground Effects via NTSMC-sLPV.

[BibT_eX]

[DOI]

,

,

,

,

,

IEEE Trans. Aerosp. Electron. Syst., April, 2025

Grasping a Handful: Sequential Multi-Object Dexterous Grasp Generation.

[BibT_eX]

[DOI]

,

,

,

,

CoRR, March, 2025

HA-VLN: A Benchmark for Human-Aware Navigation in Discrete-Continuous Environments with Dynamic Multi-Human Interactions, Real-World Validation, and an Open Leaderboard.

[BibT_eX]

[DOI]

,

,

,

,

,

,

,

,

,

,

Alexander G. Hauptmann

CoRR, March, 2025

Bumpless Transfer MPC for Hidden Markovian Jump Nonlinear Systems With Saturated Inputs.

[BibT_eX]

[DOI]

,

,

,

,

,

,

IEEE Trans Autom. Sci. Eng., 2025

Invisible algorithms, visible outcomes: Roles of emotional labor and work gamification in gigs.

[BibT_eX]

[DOI]

,

,

,

,

,

Comput. Hum. Behav., 2025

Why We Feel: Breaking Boundaries in Emotional Reasoning with Multimodal Large Language Models.

[BibT_eX]

[DOI]

,

,

,

,

,

,

,

,

,

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, 2025

Securing the Skies: A Comprehensive Survey on Anti-UAV Methods, Benchmarking, and Future Directions.

[BibT_eX]

[DOI]

,

,

,

,

,

,

,

,

,

,

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, 2025

2024

Toward Web3 Applications: Easing the Access and Transition.

[BibT_eX]

[DOI]

,

,

,

,

,

,

Nektarios Georgalas

,

IEEE Trans. Comput. Soc. Syst., October, 2024

Characterizing Manipulation Robustness Through Energy Margin and Caging Analysis.

[BibT_eX]

[DOI]

,

,

Florian T. Pokorny

IEEE Robotics Autom. Lett., September, 2024

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

[BibT_eX]

[DOI]

,

,

,

,

,

,

,

IEEE Robotics Autom. Lett., February, 2024

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

[BibT_eX]

[DOI]

,

,

,

,

,

,

,

IEEE Robotics Autom. Lett., February, 2024

T-DOM: A Taxonomy for Robotic Manipulation of Deformable Objects.

[BibT_eX]

[DOI]

David Blanco-Mulero

,

,

,

Florian T. Pokorny

,

CoRR, 2024

TactV: A Class of Hybrid Terrestrial/Aerial Coaxial Tilt-Rotor Vehicles.

[BibT_eX]

[DOI]

,

,

,

CoRR, 2024

Co-Designing Tools and Control Policies for Robust Manipulation.

[BibT_eX]

[DOI]

,

,

,

,

Rafael I. Cabral Muchacho

,

,

,

Florian T. Pokorny

CoRR, 2024

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

[BibT_eX]

[DOI]

,

,

Florian T. Pokorny

CoRR, 2024

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

[BibT_eX]

[DOI]

,

,

,

,

CoRR, 2024

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

[BibT_eX]

[DOI]

,

,

,

,

,

,

,

Teruko Mitamura

,

Alexander G. Hauptmann

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

AutoFusion: Autonomous Visual Geolocation and Online Dense Reconstruction for UAV Cluster.

[BibT_eX]

[DOI]

,

,

,

,

,

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

Quasi-static Soft Fixture Analysis of Rigid and Deformable Objects.

[BibT_eX]

[DOI]

,

Florian T. Pokorny

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

Enhancing Explainability of Deep Learning-Based ECG Diagnosis Using Large Language Models.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the 8th International Conference on Advances in Artificial Intelligence, 2024

SHIELD: LLM-Driven Schema Induction for Predictive Analytics in EV Battery Supply Chain Disruptions.

[BibT_eX]

[DOI]

,

,

,

,

,

,

Alexander G. Hauptmann

,

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.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the AI 2024: Advances in Artificial Intelligence, 2024

2023

Grasping Lightweight Objects With Chat-PM: A Rotorwash-Aware Motion Planning Method.

[BibT_eX]

[DOI]

,

,

,

,

,

,

IEEE Robotics Autom. Lett., December, 2023

Learning-based algorithms with application to urban scene autonomous driving.

[BibT_eX]

[DOI]

,

,

,

,

,

Shigeyuki Tateno

Artif. Life Robotics, February, 2023

GPS-based location and path tracking in automatic driving system in a fixed route using fusion algorithm.

[BibT_eX]

[DOI]

,

Shigeyuki Tateno

,

,

,

,

Artif. Life Robotics, February, 2023

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

[BibT_eX]

[DOI]

,

,

,

,

,

CoRR, 2023

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

[BibT_eX]

[DOI]

,

,

,

,

,

,

,

,

CoRR, 2023

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

[BibT_eX]

[DOI]

,

,

,

,

,

,

CoRR, 2023

ACGAN-GNNExplainer: Auxiliary Conditional Generative Explainer for Graph Neural Networks.

[BibT_eX]

[DOI]

,

,

,

Niusha Shafiabady

,

Proceedings of the 32nd ACM International Conference on Information and Knowledge Management, 2023

2022

SytaB: A Class of Smooth-Transition Hybrid Terrestrial/Aerial Bicopters.

[BibT_eX]

[DOI]

,

,

,

,

IEEE Robotics Autom. Lett., 2022

Towards Web3 Applications: Easing the Access and Transition.

[BibT_eX]

[DOI]

,

,

,

,

,

,

Nektarios Georgalas

,

CoRR, 2022

Leveraging Text Representation and Face-head Tracking for Long-form Multimodal Semantic Relation Understanding.

[BibT_eX]

[DOI]

,

,

,

,

,

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.

[BibT_eX]

[DOI]

,

,

,

,

Remote. Sens., 2021

Quantitative, Near Real-Time Mapping of Bushfires Through Integration of Optical and SAR Remote Sensing Techniques.

[BibT_eX]

[DOI]

,

,

,

,

,

,

,

,

,

Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2021

2020

Magnetostatic Active Contour Model with Classification Method of Sparse Representation.

[BibT_eX]

[DOI]

,

,

,

J. Electr. Comput. Eng., 2020

A Superpixel Boundary Optimization (SBO) Framework Based on Information Measure Function.

[BibT_eX]

[DOI]

,

,

,

IEEE Access, 2020

2012

PetrolWatch: a participatory image sensing system for automated street level information collection.

[BibT_eX]

[DOI]

PhD thesis, 2012

2011

Automatic image capturing and processing for PetrolWatch.

[BibT_eX]

[DOI]

,

Salil S. Kanhere

,

,

Proceedings of the 17th IEEE International Conference on Networks, 2011

2010

Statistical reliability for energy efficient data transport in wireless sensor networks.

[BibT_eX]

[DOI]

,

,

,

,

Wirel. Networks, 2010

2008

Performance evaluation of a wireless sensor network based tracking system.

[BibT_eX]

[DOI]

,

,

Salil S. Kanhere

,

,

,

,

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.

[BibT_eX]

[DOI]

,

Salil S. Kanhere

,

,

Nirupama Bulusu

Proceedings of the Distributed Computing in Sensor Systems, 2008

Implementation aspects of reliable transport protocols in wireless sensor networks.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the Third International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2008), 2008

2007

Detection and tracking using wireless sensor networks.

[BibT_eX]

[DOI]

,

,

Tatiana Bokareva

,

Salil S. Kanhere

,

,

,

,

,

Proceedings of the 5th International Conference on Embedded Networked Sensor Systems, 2007

Effect of Glance Duration on Perceived Complexity and Segmentation of User Interfaces.

[BibT_eX]

[DOI]

,

,

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.

[BibT_eX]

[DOI]

,

,

Proceedings of the Making a Difference...: Proceedings of the 7th International Conference for the Learning Sciences, 2006

2005

Performing clustering analysis on collaborative models.

[BibT_eX]

[DOI]

,

,

,

,

Intell. Data Anal., 2005

A Provably Correct Compiler for Efficient Model Checking of Mobile Processes.

[BibT_eX]

[DOI]

,

,

C. R. Ramakrishnan

,

Scott A. Smolka

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.

[BibT_eX]

[DOI]

,

,

Gerard J. Holzmann

,

Scott A. Smolka

Int. J. Softw. Tools Technol. Transf., 2003

Online Justification for Tabled Logic Programs.

[BibT_eX]

[DOI]

Giridhar Pemmasani

,

,

,

C. R. Ramakrishnan

,

I. V. Ramakrishnan

Proceedings of the Logic Programming, 19th International Conference, 2003

Model Checking and Evidence Exploration.

[BibT_eX]

[DOI]

,

C. R. Ramakrishnan

,

Scott A. Smolka

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.

[BibT_eX]

[DOI]

,

C. R. Ramakrishnan

,

Scott A. Smolka

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002

Vacuity Checking in the Modal Mu-Calculus.

[BibT_eX]

[DOI]

,

Beata Sarna-Starosta

,

C. R. Ramakrishnan

,

Scott A. Smolka

Proceedings of the Algebraic Methodology and Software Technology, 2002

2000

XMC: A Logic-Programming-Based Verification Toolset.

[BibT_eX]

[DOI]

C. R. Ramakrishnan

,

I. V. Ramakrishnan

,

Scott A. Smolka

,

,

,

Abhik Roychoudhury

,

V. N. Venkatakrishnan

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools.

[BibT_eX]

[DOI]

,

,

Y. S. Ramakrishna

,

C. R. Ramakrishnan

,

I. V. Ramakrishnan

,

Scott A. Smolka

,

,

Eugene W. Stark

,

David Scott Warren

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

Practical Considerations in Protocol Verification: The E-2C Case Study.

[BibT_eX]

[DOI]

,

Scott A. Smolka

,

Eugene W. Stark

,

Stephanie M. White

Proceedings of the 5th International Conference on Engineering of Complex Computer Systems (ICECCS '99), 1999

An Optimizing Compiler for Efficient Model Checking.

[BibT_eX]

,

C. R. Ramakrishnan

Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

1998

Logic Programming and Model Checking.

[BibT_eX]

[DOI]

,

,

,

K. Narayan Kumar

,

C. R. Ramakrishnan

,

I. V. Ramakrishnan

,

Abhik Roychoudhury

,

Scott A. Smolka

,

David Scott Warren

Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

Loading...