This research was conducted at the Fordham University Robotics and Computer Vision Lab. For more information about graduate programs in Computer Science, see http://www.cis.fordham.edu/graduate.html, and the Fordham University Graduate School of Arts and Sciences, see http://www.fordham.edu/gsas.

Follow

Submissions from 2016

PDF

Establishing Performance Guarantees for Behavior-Based Robot Missions Using an SMT Solver, Feng Tang, Damian M. Lyons, and Ronald Arkin

Submissions from 2015

PDF

Thorough Exploration of Complex Environments with a Space-Based Potential Field, Kenealy Alina, Nicholas Primiano, Alex Keyes, and Lyons Damian

PDF

Leveraging area bounds information for autonomous decentralized multi-robot exploration, Tsungming Liu and Damian Lyons

PDF

Probabilistic Verification of Multi-Robot Missions in Uncertain Environments, Damian M. Lyons, Ronald Arkin, Shu Jiang, Dagan Harrington, Feng Tang, and Peng Tang

PDF

Performance Verification for Behavior-based Robot Missions, Damian M. Lyons, Ron Arkin, Shu Jiang, Tsungming Liu, and Paramesh Nirmal

PDF

Evaluation of Parallel Reduction Strategies for Fusion of Sensory Information from a Robot Team., Damian M. Lyons and Joseph Leroy

PDF

Homing with stereovision, Paramesh Nirmal and Damian Lyons

Submissions from 2014

PDF

Getting it right the first time: Verification of Autonomous Behavior-based Multirobot Missions, Ronald C. Arkin and Damian M. Lyons

PDF

Leveraging Area Bounds Information for Autonomous Multi-Robot Exploration, Tsung-Ming Liu and Damian M. Lyons

Link

Cluster Computing for Robotics and Computer Vision, Damian M. Lyons

PDF

A Kinect-based system for automatic recording of some pigeon behaviors, Damian Lyons, James MacDonall, and Kelly Cunningham

PDF

Verifying and Validating Multirobot Missions, Damian M. Lyons, Ronald C. Arkin, Shu Jiang, Dagon Harrington, and Tsung-Ming Liu

PDF

Getting it right the first time: Verification of Behavior-based Multirobot Missions, Damian M. Lyons, Ronald C. Arkin, Shu Jiang, Dagon Harrington, and Matthew O'Brien

PDF

Eliminating Mutual Views in Fusion of Ranging and RGB-D Data From Robot Teams Operating in Confined Areas, Damian M. Lyons and Karma Shrestha

Submissions from 2013

PDF

A Cognitive Approach to Vision for a Mobile Robot, Paul Benjamin, Christopher Funk, and Damian M. Lyons

PDF

Performance Guarantees for C-WMD Robot Missions, Shu Jiang, Ronald C. Arkin, Damian M. Lyons, Tsung-Ming Liu, and Dagon Harrington

PDF

A Software Tool for the Design of Critical Robot Missions with Performance Guarantees, Damian M. Lyons, Ronald C. Arkin, Paramesh Nirmal, Shu Jiang, and Tsung-Ming Liu

PDF

Getting it Right the First time: Robot Mission Guarantees in the Presence of Uncertainty, Damian M. Lyons, Ronald C. Arkin, Paramesh Nirmal, Shu Jiang, Tsung-Ming Liu, and J. Deeb

PDF

Performance Verification for Behavior-based Robot Missions, Damian M. Lyons, Ronald Arkin, Shu Jiang, Tsung-Ming Liu, Paramesh Nirmal, and J. Deeb

PDF

Verifying Performance for Autonomous Robot Missions with Uncertainty, Damian M. Lyons, Ronald Arkin, Tsung-Ming Liu, Shu Jiang, and Paramesh Nirmal

PDF

Fusion of Ranging Data From Robot Teams Operating in Confined Areas, Damian M. Lyons, Karma Shrestha, and Tsung-Ming Liu

PDF

Visual homing with a pan-tilt based stereo camera, Paramesh Nirmal and Damian M. Lyons

Submissions from 2012

PDF

Getting it Right the First Time: Predicted Performance Guarantees from the Analysis of Emergent Behavior in Autonomous and Semi-autonomous Systems, Ronald C. Arkin, Damian M. Lyons, Shu Jiang, Prem Nirmal, and Munzir Zafar

PDF

Using a Virtual World for Robot Planning, D. Paul Benjamin, John V. Monaco, Yixia Lin, Christopher Funk, and Damian M. Lyons

PDF

Characterizing Performance Guarantees for Real-Time Multiagent Systems Operating in Noisy and Uncertain Environments, Damian M. Lyons, Ronald Arkin, Stephen Fox, Shu Jiang, Prem Nirmal, and Munzir Zafar

PDF

Designing Autonomous Robot Missions with Performance Guarantees, Damian M. Lyons, Ronald Arkin, Prem Nirmal, and Shu Jiang

PDF

An Approach to Stereo-point Cloud Registration Using Image Homographies, Damian M. Lyons and Stephen D. Fox

PDF

Navigation of Uncertain Terrain by Fusion of Information from Real and Synthetic Imagery, Damian M. Lyons, Prem Nirmal, and D. Paul Benjamin

Submissions from 2011

PDF

A Relaxed Fusion of Information from Real and Synthetic Images to Predict Complex Behavior, Damian M. Lyons and D. Paul Benjamin

Submissions from 2010

PDF

Detection and Filtering of Landmark Occlusions using Terrain Spatiograms, Damian M. Lyons

PDF

Selection and Recognition of Landmarks Using Terrain Spatiograms, Damian M. Lyons

PDF

Integrating Perception and Problem Solving to Predict Complex Object Behaviors, Damian M. Lyons, Sirhan Chaudhry, Marius Agica, and John Vincent Monaco

PDF

A Visual Imagination Approach to Cognitive Robotics, Damian M. Lyons, Sirhan Chaudhry, and D. Paul Benjamin

PDF

Synchronizing Real and Predicted Synthetic Video Imagery for Localization of a Robot to a 3D Environment, Damian M. Lyons, Sirhan Chaudhry, and D. Paul Benjamin

Submissions from 2009

PDF

Sharing and fusing landmark information in a team of autonomous robots, Damian M. Lyons

PDF

Sharing Landmark Information using Mixture of Gaussian Terrain Spatiograms, Damian M. Lyons

PDF

Locating and Tracking Objects by Efficient Comparison of Real and Predicted Synthetic Video Imagery, Damian M. Lyons and D. Paul Benjamin

PDF

Combining Multiple Scoring Systems for Target Tracking Using Rank-Score Characteristics, Damian M. Lyons and D. Frank Hsu

Submissions from 2008

PDF

Comparing Discrimination and CFA for selecting Tracking Features, Damian M. Lyons and D. Frank Hsu

Submissions from 2007

PDF

Extended Abstract Rotopod: A Novel Approach To Efficient Legged Locomotion, Damian M. Lyons

PDF

Combinatorial Fusion Criteria for Robot Mapping, Damian M. Lyons, D. Frank Hsu, Qiang Ma, and Liang Wang

PDF

Selection of fusion operations using rank-score diversity for robot mapping and localization, Damian M. Lyons, D. Frank Hsu, Qiang Ma, and Liang Wang

PDF

Evaluation of a Parallel Architecture and Algorithm for Mapping and Localization, Damian M. Lyons and Giselle R. Isner

Submissions from 2006

PDF

Combinatorial Fusion Criteria for Real-Time Tracking, D. Frank Hsu, Damian M. Lyons, and Jizhou Ai

PDF

Combining Multiple Scoring Systems For Video Target Tracking Based on Rank-Score Function Variation, D. Frank Hsu, Damian M. Lyons, and Jizhou Ai

PDF

Feature Selection for Real-Time Tracking, D. Frank Hsu, Damian M. Lyons, and Jizhou Ai

Submissions from 2005

PDF

A Dynamic Pruning and Feature Selection Strategy for Real-Time Tracking, D. Frank Hsu and Damian M. Lyons

PDF

Rank-Based Multisensory Fusion in Multitarget Video Tracking, Damian M. Lyons and D. Frank Hsu

PDF

Analysis of gaits for a rotating tripedal robot, Damian M. Lyons and Kiran Pamnany

PDF

Rotational Legged Locomotion, Damian M. Lyons and Kiran Pamnany