`Travelled to:`

1 × Italy

1 × United Kingdom

3 × USA

`Collaborated with:`

R.E.Sward M.C.Carlisle ∅ C.Bandera F.J.Vico J.M.Bravo M.E.Harmon

`Talks about:`

function (2) program (2) residu (2) spark (2) learn (2) algorithm (1) reinforc (1) approxim (1) network (1) equival (1)

## Person: Leemon C. Baird III

### DBLP: III:Leemon_C=_Baird

### Facilitated 4 volumes:

### Contributed to:

### Wrote 5 papers:

- SIGAda-2007-CarlisleB #ada #c #network
- Timing neural networks in C and ada (MCC, LCBI), pp. 71–74.
- AdaEurope-2005-SwardB #equivalence #functional #proving #slicing
- Proving Functional Equivalence for Program Slicing in SPARK™ (RES, LCBI), pp. 105–114.
- SIGAda-2005-SwardB #optimisation #slicing
- Optimizing the SPARK program slicer (RES, LCBI), pp. 17–22.
- ICML-1996-BanderaVBHB #visual notation
- Residual Q-Learning Applied to Visual Attention (CB, FJV, JMB, MEH, LCBI), pp. 20–27.
- ICML-1995-Baird #algorithm #approximate #learning
- Residual Algorithms: Reinforcement Learning with Function Approximation (LCBI), pp. 30–37.