publisher of
- TEXTAL: Automated crystallographic protein structure determination. 1483-1490. 2005
- An Adaptive Planner Based on Learning of Planning Performance.. 1073-1073. 2000
- Detecting feature interactions from accuracies of random feature subsets. 350-357. 1999
- Integrating a spatial reasoner with a resolution theorem-prover. 145-152. 1997
- Lola, the Mobile Robot from NC State.. 1354-1354. 1996