BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Latvia
1 × USA
Collaborated with:
M.Sviridenko G.Kimmell P.Alexander R.d.P.Barbosa A.Ene H.L.Nguyên
Talks about:
neighborhood (1) submodular (1) framework (1) distribut (1) construct (1) prufrock (1) theorem (1) problem (1) polytyp (1) maximum (1)

Person: Justin Ward

DBLP DBLP: Ward:Justin

Contributed to:

ICML 20152015
ICALP (1) 20132013
ASE 20052005

Wrote 3 papers:

ICML-2015-BarbosaENW #dataset #distributed #power of
The Power of Randomization: Distributed Submodular Maximization on Massive Datasets (RdPB, AE, HLN, JW), pp. 1236–1244.
ICALP-v1-2013-SviridenkoW #problem #scalability #set
Large Neighborhood Local Search for the Maximum Set Packing Problem (MS, JW), pp. 792–803.
ASE-2005-WardKA #framework #named #proving #theorem proving
Prufrock: a framework for constructing polytypic theorem provers (JW, GK, PA), pp. 423–426.
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.