Online planning to control a packaging infeed system

SPARK '10

13 May 2010

Integrated parallel printing systems with hypermodular architecture

IS&T-SPIE Electronic Imaging

24 January 2011

Pervasive diagnosis

IEEE Transactions on Systems, Man and Cybernetics - A

September 2010

Pervasive diagnosis

IEEE Transactions on Systems, Man and Cybernetics - A

September 2010

On-line planning and scheduling: an application to controlling modular printers

Journal of Artificial Intelligence Research

February 2011

Succinct set-encoding for state-space search

Twenty-Fifth AAAI Conference on Artificial Intelligence (AAAI-11)

7 August 2011

Dynamic state-space partitioning in external-memory graph search

ICAPS 2011

11 June 2011

Online planning to control a packaging infeed system

IAAI Conference on Innovative Applications of Artificial Intelligence

10 August 2011

Parallel model checking using abstraction

To be presented at the 19th International SPIN Workshop on Model Checking of Software

23 July 2012

Anytime heuristic search

Journal of Artificial Intelligence Research

January 2007

Combining breadth-first and depth-first strategies in searching for optimal treewidth

The First International Symposium on Search Techniques in Artificial Intelligence and Robotics

13 July 2008

Continuously estimating persistent and intermittent failure probabilities

SAFE Process 2009

30 June 2009

A depth-first approach to target-value search

SoCS 2009

8 July 2009

Domain-independent structured duplicate detection

Twenty-First National Conference on Artificial Intelligence (AAAI 2006)

16 July 2006

Efficient waypoint tracking hybrid controllers for double integrators using classical time optimal control

IEEE Conference on Decision and Control

7 December 2008

Efficient waypoint tracking hybrid controllers for double integrators using classical time optimal control

IEEE Conference on Decision and Control

7 December 2008

A framework for continuously estimating persistent and intermittent failure probabilities

DX 2008

22 September 2008

Heuristic search for target-value path problem

AAAI 2008 Search Workshop

13 July 2008

Memory-efficient symbolic heuristic search

The Sixteenth International Conference on Automated Planning and Scheduling (ICAPS-06)

6 June 2006

Pervasive diagnosis: the integration of active diagnosis into production plans

DX 2008

22 September 2008

Planning for modular printers: beyond productivity

ICAPS 2008

14 September 2008

Synchronized control in a large-scale networked distributed printing system

ICRA 2009

12 May 2009

A unified information criterion for evaluating probe and test selection

International Conference on Prognostics and Health Management

6 October 2008

Continuously estimating persistent and intermittent failure probabilities

SAFE Process 2009

30 June 2009