A Sound and Optimal Incremental Build System with Dynamic Dependencies

~ adriancolyer ~ 2 Comments

A Sound and Optimal Incremental Build System with Dynamic Dependencies - Erdweg et al. 2015 Back to OOPSLA papers again today. Does anybody really love their build system? Software developers struggle with build systems on a regular basis. Previous studies show that on average 12% of development effort is not spent on developing software but … Continue reading A Sound and Optimal Incremental Build System with Dynamic Dependencies

Runtime Metric Meets Developer – Building Better Cloud Applications Using Feedback

~ adriancolyer ~ 2 Comments

Runtime Metric Meets Developer - Building Better Cloud Applications Using Feedback - Cito et al. 2015 Today's paper choice is also from OOPSLA. It describes some early work around an interesting idea... A unifying theme of many ongoing trends in software engineering is a blurring of the boundaries between building and operating software products. In … Continue reading Runtime Metric Meets Developer – Building Better Cloud Applications Using Feedback

Monocular SLAM Supported Object Recognition

~ adriancolyer

Monocular SLAM Supported Object Recognition Pillai & Leonard - 2015 Yesterday we looked at the SLAM problem. Once we've made a map and identified some landmarks, a next obvious challenge is to figure out what those landmarks actually are. This is the object recognition problem. I've chosen today's paper because it's recent (2015) and contains … Continue reading Monocular SLAM Supported Object Recognition

Simultaneous Localization and Mapping: Part I History of the SLAM problem

~ adriancolyer ~ 1 Comment

Simultaneous Localization and Mapping: Part I History of the SLAM problem - Durrant-Whyte & Bailey 2006 You can't read far in robotics without encountering the SLAM problem. But what is it exactly? And what are the main approaches to solving it? Today's paper provides an overview of the SLAM problem, a short history of research … Continue reading Simultaneous Localization and Mapping: Part I History of the SLAM problem

Human-Robot Teaming for Rescue Missions: Team ViGIR’s Approach to the 2013 DARPA Robotics Challenge Trials

~ adriancolyer

Human-Robot Teaming for Rescue Missions: Team ViGIR's Approach to the 2013 DARPA Robotics Challenge Trials - Kohlbrecher et al. 2014 Yesterday we looked at ROS, the Robot Operating System. Today I thought it would be fun to see an example of ROS in action, and where better to find that than in a DARPA Robotics … Continue reading Human-Robot Teaming for Rescue Missions: Team ViGIR’s Approach to the 2013 DARPA Robotics Challenge Trials

ROS: An open-source Robot Operating System

~ adriancolyer ~ 1 Comment

ROS: An open-source Robot Operating System - Quigely et al. 2009 Distributed systems are everywhere. Caitie McAffrey for example does a wonderful job of bridging the distributed systems and gaming communities. But I haven't seen as much cross-pollination between the distributed system and robotics communities. And that's a shame because robotics is a really interesting … Continue reading ROS: An open-source Robot Operating System

Symmetry Reduction Enables Model Checking of More Complex Emerging Behaviours of Swarm Navigation Algorithms

~ adriancolyer ~ 1 Comment

Symmetry Reduction Enables Model Checking of More Complex Emerging Behaviours of Swarm Navigation Algorithms - Antuñya et al. 2015 Don't let the title put you off - this paper is all about robot swarms! Previously we looked at some nature-inspired optimisation algorithms, including Particle Swarm Optimisation which draws inspiration from the behaviour of flocks of … Continue reading Symmetry Reduction Enables Model Checking of More Complex Emerging Behaviours of Swarm Navigation Algorithms