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:
EdEdEdEdContributed to:
2007
20052005
19961995Wrote 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.