News

SIFT researchers win Best Student Paper Award at SoCS 2012

SIFT researchers Jordan Thayer and J. Benton won the Best Student Paper Award at the 2012 Symposium on Combinatorial Search for their paper titled "Better Parameter-free Anytime Search by Minimizing Time Between Solutions." This paper, written with Malte Helmert defines the "ideal" performance of anytime search algorithms and defines a new anytime search algorithm that conforms this. The abstract follows:

 

SIFT researcher wins Best Student Paper Award at ICAPS

SIFT researcher J. Benton won the Best Student Paper Award at ICAPS 2012 called "Temporal Planning with Preferences and Time-dependent Costs," also authored by Amanda Coles and Andrew Coles. This paper is about handling temporal planning problems where the quality of a plan has to do with when certain goals are achieved. The paper's abstract is after the break.

SIFT to present META work at CIE 2012

SIFT Researcher Michael Boldt will present work by SIFT collegues David Musliner, Timothy Woods, and John Maraist on Identifying Culprits When Probabilistic Verification Fails at the 2012 Computers and Information in Engineering Conference (CIE). This work was done under the probabilistic verification effort funded by the DARPA AVM/META program.

SIFT researcher's paper published at 2012 Symposium on Combinatorial Search

Dr. Ugur Kuter collaborated with University of Maryland graduate students Ron Alford and Vikas Shivashankar and faculty Dr. Dana Nau on "HTN PRoblem Spaces: Structure, Algorithms, Termination" published at the 2012 Symposium on Combinatorial Search (SoCS-12), which can be accessed here: http://www.socs12.org/papers.html

SIFT journal publication on Teams and Etiquette

SIFT researchers Dr. Christopher Miller, Peggy Wu and Tammy Ott have had an article accepted to the Journal of Cognitive Engineering and Decision Making. This paper reports work done under the E4D2 program and is titled “Politeness in Teams: Implications for Directive Compliance Behavior and Associated Attitudes.” It appears in print in Volume 6 Issue 2 June 2012 pp. 214 - 242. The abstract can be found here.

SIFT awarded META-X funding under DARPA AVM program

SIFT has been awarded continued funding under DARPA's Adaptive Vehicle Make program to continue our META-X probabilistic verification efforts, leveraging SIFT's prior verification efforts for automated plan analysis.  SIFT will extend our existing probabilistic verification approach, adding importance sampling and culprit identification to our multi-component methods for functional failure analysis.  For more information, please contact the program PI, Mr.

SIFT wins HACKAR: Helpful Advice and Coding Knowledge for Attack Resistance

SIFT is awarded a 3-year research contract by the Office of Naval Research. The project is entitled "HACKAR: Helpful Advice and Coding Knowledge for Attack Resistance." The HACKAR project will be a new approach to proactive analysis, detection, and diagnosis of vulnerabilities in functions and modules at development time. HACKAR will help programmers by providing advice and coding knowledge for addressing potential vulnerabilities in their code, so that programmers can be aware of these threats and fix them before the code is deployed.

SIFT Researcher presents at Future Visions 2012 Symposium

SIFT Researcher Dan Thomsen presented the Future Visions 2012 symposium at Colorado State on April 12, 2012. Mr. Thomsen presented "Evolving Security Policy to meet the complexities of Tomorrow," a look at how we might turn complexity, which usually works against computer security into a tool to address simplify security administration.

SIFT Researcher's three papers accepted for publication and presentation at AAMAS-12

SIFT Researcher Dr. Ugur Kuter has recently collaborated with University of Maryland, College Park and Naval Research Labs at Washington DC. in a total of three papers on novel AI planning formalisms and algorithms in classical and dynamic, multi-agent domains. These works will be published and presented at the 11th International Conference on Autonomous Agents and Multiagent System (AAMAS-12).

SIFT wins CALM: Continuous Anger Level Management

SIFT was awarded a Phase I Small Business Innovation Research grant (SBIR) by the Telemedicine & Advanced Technology Research Center (TATRC) entitled "CALM: Continuous Anger Level Management."

Pages