BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
knowledg (3)
challeng (3)
control (2)
win (2)
more (1)

Stem darpa$ (all stems)

7 papers:

ICFPICFP-2014-Fisher #formal method #using
Using formal methods to enable more secure vehicles: DARPA’s HACMS program (KF), p. 1.
HCIDUXU-NTE-2013-PriorSEBM #challenge
HALO the Winning Entry to the DARPA UAVForge Challenge 2012 (SDP, STS, MAE, MB, WM), pp. 179–188.
CASECASE-2008-Kress-GazitP #automation #challenge
Automatically synthesizing a planning and control subsystem for the DARPA urban challenge (HKG, GJP), pp. 766–771.
ASEASE-2006-Thrun #challenge
Winning the DARPA Grand Challenge: A Robot Race through the Mojave Desert (ST), p. 11.
CHICHI-2004-GozaADS #framework
Telepresence control of the NASA/DARPA robonaut on a mobility platform (SMG, ROA, MAD, IMS), pp. 623–629.
KRKR-2000-PeaseCLF #information management #knowledge base #performance #representation
Practical Knowledge Representation and the DARPA High Performance Knowledge Bases Project (AP, VKC, FL, AF), pp. 717–724.
The DARPA Knowledge Sharing Effort: A Progress Report (RSP, RF, PFPS, DPM, TWF, TRG, RN), pp. 777–788.

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.