BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: III:Leemon_C=_Baird

Facilitated 4 volumes:

SIGAda 2008Ed
SIGAda 2007Ed
SIGAda 2006Ed
SIGAda 2005Ed

Contributed to:

SIGAda 20072007
Ada-Europe 20052005
SIGAda 20052005
ICML 19961996
ICML 19951995

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.