PROFILE:
PARC publications
view publications by: date | title | type | focus area
A breadth-first approach to memory-efficient graph search
Twenty-First National Conference on Artificial Intelligence (AAAI-06)
16 July 2006
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
Domain-independent structured duplicate detection
Twenty-First National Conference on Artificial Intelligence (AAAI 2006)
16 July 2006
Edge partitioning in external-memory graph search
Twentieth International Joint Conference on Artificial Intelligence (IJCAI 2007)
6 January 2007
Efficient flow-shop scheduling for large print shops with heavy-tail job size distributions
INFORMS Annual Meeting 2008
12 October 2008
IEEE Conference on Decision and Control
7 December 2008
A framework for continuously estimating persistent and intermittent failure probabilities
DX 2008
22 September 2008
Integrated parallel printing systems with hypermodular architecture
IS&T-SPIE Electronic Imaging
24 January 2011
Leveraging graph locality via abstraction
7th International Symposium on Abstraction, Reformulation, and Approximation (SARA 2007)
18 July 2007
Memory-efficient symbolic heuristic search
The Sixteenth International Conference on Automated Planning and Scheduling (ICAPS-06)
6 June 2006
On-line planning and scheduling: an application to controlling modular printers
Journal of Artificial Intelligence Research
February 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
Pervasive diagnosis: the integration of active diagnosis into production plans
AAAI-2008
13 July 2008
Pervasive diagnosis: the integration of active diagnosis into production plans
DX 2008
22 September 2008
Succinct set-encoding for state-space search
Twenty-Fifth AAAI Conference on Artificial Intelligence (AAAI-11)
7 August 2011
A unified information criterion for evaluating probe and test selection
International Conference on Prognostics and Health Management
6 October 2008
contact
related focus areas
related competencies
- model-based reasoning
events
view all 
Parallel model checking using abstraction
23 July 2012
VLAB Innovation: "Out of the Labs" Holiday Event
5 December 2011
Neiman Marcus, Stanford Shopping Center
Online Planning to Control a Packaging Infeed System
10 August 2011 | San Francisco, CA