News

Elsevier has recently published Plan, Activity, and Intent Recognition, a collection of articles edited by Staff Scientist Robert P. Goldman, together with Gita Sukthankar (University of Central Florida), Chris Geib (Drexel University), Hung Bui (Nuance), and David Pynadath (Institute for Creative Technologies, University of Southern California).

SIFT have moved our Minneapolis office as of March 1st, 2014.  Our new office address is:

Smart Information Flow Technologies
319 1st Ave North
Suite 400
Minneapolis, MN 55401-1689

See our Contact / Vist SIFT page for more details.

An article by SIFT researchers Robert Goldman, Michael Pelican, and David Musliner has appeared in the International Journal of Software Tools for Technology Transfer, Volume 16, Issue 1, pages 13-29, 2014.
Titled "A loop acceleration technique to speed up verification of automatically generated plans", this paper describes a method for dramatically improving the speed at which the CIRCA automated controller synthesis and verification system can create guaranteed-safe plans.

SIFT Principal Researcher Dan Thomsen has two chapters in the new Handbook of Human Computation, edited by Pietro Michelucci and published by Springer in December 2013.

The first chapter "Solving Wicked Problems" discusses using crowds to solve problems so challenging people cannot even tell if a problem is solved. The second chapter "Applying Security Lessons Learned to Human Computation Solving Systems" tries to ensure this emerging field doesn't fall into the same old security pitfalls.

Three papers by SIFT researchers have been accepted for presentation at the AAAI Spring Symposia Series to be held in Palo Alto, CA on March 24-26:

The paper "Landmark-based Distance Measures for Diverse Planning" authored by SIFT Senior Researcher Dr. Dan Bryce has been accepted for the 24th International Conference on Automated Planning and Scheduling (ICAPS-14).

Paper Details:

Bryce, D. Landmark-based Distance Measures for Diverse Planning. In the Proceedings of the 24th International Conference on Automated Planning and Scheduling, 2014.

Abstract:

Dr. Joseph Mueller recently joined the SIFT team in the Minneapolis office. Dr. Mueller is an aerospace engineer with expertise in formation flying and UAVs, and has led several SBIR projects for NASA and DoD. His primary research interests are in robust control, trajectory optimization, autonomous planning, and data fusion.

SIFT Researcher Dr. Ugur Kuter is collaborating with Dr. Florent Teichteil-Königsbuch (ONERA, The French AeroSpace Lab) and Dr. Andrey Kolobov (Microsoft Research) to organize the ICAPS-14 Workshop on Models and Paradigms for Planning under Uncertainty to be held at the 2014 International Conference on Automated Planning and Scheduling, Portsmouth, NH. The workshop focuses on planning models and approaches to planning under uncertainty.

A paper co-authored by SIFT Senior Researcher, Dr. David McDonald, has been accepted for presentation at the Second Annual Conference on Advances in Cognitive Systems (ACS 2013). Dr. McDonald will present the paper, titled "On the Representation of Inferences and their Lexicalization" at the conference in Baltimore Maryland on December 13, 2013.

SIFT's Fuzzbuster team has published two papers on meta-control and metrics for adaptive cybersecurity. The papers describe advances to the state-of-the-art in program analysis for rapidly and automatically identifying, characterizing, and repairing vulnerabilities in software. The publications include:

David J. Musliner, Scott E. Friedman, Jeffrey M. Rye, Tom Marble. (2013). Meta-control for Adaptative Cybersecurity in FUZZBUSTER. Proceedings of SASO 2013. Philadelphia, PA.

Pages