Search the dblp DataBase

Publications of Author

1. Ricky E. Sward, Leemon C. Baird III
   Proving Functional Equivalence for Program Slicing in SPARK™. [Citation Graph (0, 0)][DBLP]
   Ada-Europe, 2005, pp:105-114 [Conf]
   
2. Leemon C. Baird III
   Residual Algorithms: Reinforcement Learning with Function Approximation. [Citation Graph (0, 0)][DBLP]
   ICML, 1995, pp:30-37 [Conf]
   
3. Cesar Bandera, Francisco J. Vico, José Manuel Bravo, Mance E. Harmon, Leemon C. Baird III
   Residual Q-Learning Applied to Visual Attention. [Citation Graph (0, 0)][DBLP]
   ICML, 1996, pp:20-27 [Conf]
   
4. Andrew W. Moore, Leemon C. Baird III, Leslie Pack Kaelbling
   Multi-Value-Functions: Efficient Automatic Action Hierarchies for Multiple Goal MDPs. [Citation Graph (0, 0)][DBLP]
   IJCAI, 1999, pp:1316-1323 [Conf]
   
5. Leemon C. Baird III, Andrew W. Moore
   Gradient Descent for General Reinforcement Learning. [Citation Graph (0, 0)][DBLP]
   NIPS, 1998, pp:968-974 [Conf]
   
6. Mance E. Harmon, Leemon C. Baird III, A. Harry Klopf
   Advantage Updating Applied to a Differrential Game. [Citation Graph (0, 0)][DBLP]
   NIPS, 1994, pp:353-360 [Conf]
   
7. Ricky E. Sward, Leemon C. Baird III
   Optimizing the SPARK program slicer. [Citation Graph (0, 0)][DBLP]
   SIGAda, 2005, pp:17-22 [Conf]
   
8. Dino Schweitzer, Leemon C. Baird III
   Discovering an RC4 anomaly through visualization. [Citation Graph (0, 0)][DBLP]
   VizSEC, 2006, pp:91-94 [Conf]
   
9. 
   A Graph Drawing Algorithm for the Game of Sprouts. [Citation Graph (, )][DBLP]
   
   
10. 
    A New Approach for Boolean Query Processing in Text Information Retrieval. [Citation Graph (, )][DBLP]
    
    
11. 
    Timing neural networks in C and ada. [Citation Graph (, )][DBLP]
    
    
12. 
    An analysis of XML compression efficiency. [Citation Graph (, )][DBLP]