Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: David A. McAllester
@inproceedings{DBLP:conf/conll/WangYSCYMR19,
author = {Hai Wang and
Dian Yu and
Kai Sun and
Jianshu Chen and
Dong Yu and
David A. McAllester and
Dan Roth},
editor = {Mohit Bansal and
Aline Villavicencio},
title = {Evidence Sentence Extraction for Machine Reading Comprehension},
booktitle = {Proceedings of the 23rd Conference on Computational Natural Language
Learning, CoNLL 2019, Hong Kong, China, November 3-4, 2019},
pages = {696--707},
publisher = {Association for Computational Linguistics},
year = {2019},
url = {https://doi.org/10.18653/v1/K19-1065},
doi = {10.18653/V1/K19-1065},
timestamp = {Thu, 30 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/conll/WangYSCYMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-08852,
author = {Hai Wang and
Dian Yu and
Kai Sun and
Jianshu Chen and
Dong Yu and
Dan Roth and
David A. McAllester},
title = {Evidence Sentence Extraction for Machine Reading Comprehension},
journal = {CoRR},
volume = {abs/1902.08852},
year = {2019},
url = {http://arxiv.org/abs/1902.08852},
eprinttype = {arXiv},
eprint = {1902.08852},
timestamp = {Thu, 30 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-08852.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eacl/GimpelWMC17,
author = {Zewei Chu and
Hai Wang and
Kevin Gimpel and
David A. McAllester},
editor = {Mirella Lapata and
Phil Blunsom and
Alexander Koller},
title = {Broad Context Language Modeling as Reading Comprehension},
booktitle = {Proceedings of the 15th Conference of the European Chapter of the
Association for Computational Linguistics, {EACL} 2017, Valencia,
Spain, April 3-7, 2017, Volume 2: Short Papers},
pages = {52--57},
publisher = {Association for Computational Linguistics},
year = {2017},
url = {https://doi.org/10.18653/v1/e17-2009},
doi = {10.18653/V1/E17-2009},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eacl/GimpelWMC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rep4nlp/WangOGM17,
author = {Hai Wang and
Takeshi Onishi and
Kevin Gimpel and
David A. McAllester},
editor = {Phil Blunsom and
Antoine Bordes and
Kyunghyun Cho and
Shay B. Cohen and
Chris Dyer and
Edward Grefenstette and
Karl Moritz Hermann and
Laura Rimell and
Jason Weston and
Scott Yih},
title = {Emergent Predication Structure in Hidden State Vectors of Neural Readers},
booktitle = {Proceedings of the 2nd Workshop on Representation Learning for NLP,
Rep4NLP@ACL 2017, Vancouver, Canada, August 3, 2017},
pages = {26--36},
publisher = {Association for Computational Linguistics},
year = {2017},
url = {https://doi.org/10.18653/v1/w17-2604},
doi = {10.18653/V1/W17-2604},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rep4nlp/WangOGM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emnlp/OnishiWBGM16,
author = {Takeshi Onishi and
Hai Wang and
Mohit Bansal and
Kevin Gimpel and
David A. McAllester},
editor = {Jian Su and
Xavier Carreras and
Kevin Duh},
title = {Who did What: {A} Large-Scale Person-Centered Cloze Dataset},
booktitle = {Proceedings of the 2016 Conference on Empirical Methods in Natural
Language Processing, {EMNLP} 2016, Austin, Texas, USA, November 1-4,
2016},
pages = {2230--2235},
publisher = {The Association for Computational Linguistics},
year = {2016},
url = {https://doi.org/10.18653/v1/d16-1241},
doi = {10.18653/V1/D16-1241},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emnlp/OnishiWBGM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/OnishiWBGM16,
author = {Takeshi Onishi and
Hai Wang and
Mohit Bansal and
Kevin Gimpel and
David A. McAllester},
title = {Who did What: {A} Large-Scale Person-Centered Cloze Dataset},
journal = {CoRR},
volume = {abs/1608.05457},
year = {2016},
url = {http://arxiv.org/abs/1608.05457},
eprinttype = {arXiv},
eprint = {1608.05457},
timestamp = {Mon, 09 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/OnishiWBGM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChuWGM16,
author = {Zewei Chu and
Hai Wang and
Kevin Gimpel and
David A. McAllester},
title = {Broad Context Language Modeling as Reading Comprehension},
journal = {CoRR},
volume = {abs/1610.08431},
year = {2016},
url = {http://arxiv.org/abs/1610.08431},
eprinttype = {arXiv},
eprint = {1610.08431},
timestamp = {Mon, 09 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/ChuWGM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WangOGM16,
author = {Hai Wang and
Takeshi Onishi and
Kevin Gimpel and
David A. McAllester},
title = {Emergent Logical Structure in Vector Representations of Neural Readers},
journal = {CoRR},
volume = {abs/1611.07954},
year = {2016},
url = {http://arxiv.org/abs/1611.07954},
eprinttype = {arXiv},
eprint = {1611.07954},
timestamp = {Mon, 09 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/WangOGM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/WangBGM15,
author = {Hai Wang and
Mohit Bansal and
Kevin Gimpel and
David A. McAllester},
title = {Machine Comprehension with Syntax, Frames, and Semantics},
booktitle = {Proceedings of the 53rd Annual Meeting of the Association for Computational
Linguistics and the 7th International Joint Conference on Natural
Language Processing of the Asian Federation of Natural Language Processing,
{ACL} 2015, July 26-31, 2015, Beijing, China, Volume 2: Short Papers},
pages = {700--706},
publisher = {The Association for Computer Linguistics},
year = {2015},
url = {https://doi.org/10.3115/v1/p15-2115},
doi = {10.3115/V1/P15-2115},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acl/WangBGM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eccv/YamaguchiMU14,
author = {Koichiro Yamaguchi and
David A. McAllester and
Raquel Urtasun},
editor = {David J. Fleet and
Tom{\'{a}}s Pajdla and
Bernt Schiele and
Tinne Tuytelaars},
title = {Efficient Joint Segmentation, Occlusion Labeling, Stereo and Flow
Estimation},
booktitle = {Computer Vision - {ECCV} 2014 - 13th European Conference, Zurich,
Switzerland, September 6-12, 2014, Proceedings, Part {V}},
series = {Lecture Notes in Computer Science},
volume = {8693},
pages = {756--771},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10602-1\_49},
doi = {10.1007/978-3-319-10602-1\_49},
timestamp = {Sat, 30 Sep 2023 09:39:19 +0200},
biburl = {https://dblp.org/rec/conf/eccv/YamaguchiMU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/TrivediMS14,
author = {Shubhendu Trivedi and
David A. McAllester and
Greg Shakhnarovich},
editor = {Zoubin Ghahramani and
Max Welling and
Corinna Cortes and
Neil D. Lawrence and
Kilian Q. Weinberger},
title = {Discriminative Metric Learning by Neighborhood Gerrymandering},
booktitle = {Advances in Neural Information Processing Systems 27: Annual Conference
on Neural Information Processing Systems 2014, December 8-13 2014,
Montreal, Quebec, Canada},
pages = {3392--3400},
year = {2014},
url = {https://proceedings.neurips.cc/paper/2014/hash/b3b43aeeacb258365cc69cdaf42a68af-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/TrivediMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/McAllester14,
author = {David A. McAllester},
title = {Implementation and Abstraction in Mathematics},
journal = {CoRR},
volume = {abs/1407.7274},
year = {2014},
url = {http://arxiv.org/abs/1407.7274},
eprinttype = {arXiv},
eprint = {1407.7274},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/McAllester14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/FelzenszwalbGMR13,
author = {Pedro F. Felzenszwalb and
Ross B. Girshick and
David A. McAllester and
Deva Ramanan},
title = {Visual object detection with deformable part models},
journal = {Commun. {ACM}},
volume = {56},
number = {9},
pages = {97--105},
year = {2013},
url = {https://doi.org/10.1145/2494532},
doi = {10.1145/2494532},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/FelzenszwalbGMR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/YamaguchiMU13,
author = {Koichiro Yamaguchi and
David A. McAllester and
Raquel Urtasun},
title = {Robust Monocular Epipolar Flow Estimation},
booktitle = {2013 {IEEE} Conference on Computer Vision and Pattern Recognition,
Portland, OR, USA, June 23-28, 2013},
pages = {1862--1869},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CVPR.2013.243},
doi = {10.1109/CVPR.2013.243},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cvpr/YamaguchiMU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-6719,
author = {David A. McAllester and
Satinder Singh},
title = {Approximate Planning for Factored POMDPs using Belief State Simplification},
journal = {CoRR},
volume = {abs/1301.6719},
year = {2013},
url = {http://arxiv.org/abs/1301.6719},
eprinttype = {arXiv},
eprint = {1301.6719},
timestamp = {Tue, 19 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-6719.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/McAllester13,
author = {David A. McAllester},
title = {A PAC-Bayesian Tutorial with {A} Dropout Bound},
journal = {CoRR},
volume = {abs/1307.2118},
year = {2013},
url = {http://arxiv.org/abs/1307.2118},
eprinttype = {arXiv},
eprint = {1307.2118},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/McAllester13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tits/NiknejadTMM12,
author = {Hossein Tehrani Niknejad and
Akihiro Takeuchi and
Seiichi Mita and
David A. McAllester},
title = {On-Road Multivehicle Tracking Using Deformable Object Model and Particle
Filter With Improved Likelihood Estimation},
journal = {{IEEE} Trans. Intell. Transp. Syst.},
volume = {13},
number = {2},
pages = {748--758},
year = {2012},
url = {https://doi.org/10.1109/TITS.2012.2187894},
doi = {10.1109/TITS.2012.2187894},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tits/NiknejadTMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tits/GuoMM12,
author = {Chunzhao Guo and
Seiichi Mita and
David A. McAllester},
title = {Robust Road Detection and Tracking in Challenging Scenarios Based
on Markov Random Fields With Unsupervised Learning},
journal = {{IEEE} Trans. Intell. Transp. Syst.},
volume = {13},
number = {3},
pages = {1338--1354},
year = {2012},
url = {https://doi.org/10.1109/TITS.2012.2187896},
doi = {10.1109/TITS.2012.2187896},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tits/GuoMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eccv/YamaguchiHMU12,
author = {Koichiro Yamaguchi and
Tamir Hazan and
David A. McAllester and
Raquel Urtasun},
editor = {Andrew W. Fitzgibbon and
Svetlana Lazebnik and
Pietro Perona and
Yoichi Sato and
Cordelia Schmid},
title = {Continuous Markov Random Fields for Robust Stereo Estimation},
booktitle = {Computer Vision - {ECCV} 2012 - 12th European Conference on Computer
Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part {V}},
series = {Lecture Notes in Computer Science},
volume = {7576},
pages = {45--58},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33715-4\_4},
doi = {10.1007/978-3-642-33715-4\_4},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eccv/YamaguchiHMU12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-1393,
author = {Koichiro Yamaguchi and
Tamir Hazan and
David A. McAllester and
Raquel Urtasun},
title = {Continuous Markov Random Fields for Robust Stereo Estimation},
journal = {CoRR},
volume = {abs/1204.1393},
year = {2012},
url = {http://arxiv.org/abs/1204.1393},
eprinttype = {arXiv},
eprint = {1204.1393},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1204-1393.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-4135,
author = {David A. McAllester and
Michael Collins and
Fernando Pereira},
title = {Case-Factor Diagrams for Structured Probabilistic Modeling},
journal = {CoRR},
volume = {abs/1207.4135},
year = {2012},
url = {http://arxiv.org/abs/1207.4135},
eprinttype = {arXiv},
eprint = {1207.4135},
timestamp = {Mon, 20 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-4135.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1208-5154,
author = {David A. McAllester and
Petri Myllym{\"{a}}ki},
title = {Proceedings of the Twenty-Fourth Conference on Uncertainty in Artificial
Intelligence {(2008)}},
journal = {CoRR},
volume = {abs/1208.5154},
year = {2012},
url = {http://arxiv.org/abs/1208.5154},
eprinttype = {arXiv},
eprint = {1208.5154},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-5154.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/KeshetMH11,
author = {Joseph Keshet and
David A. McAllester and
Tamir Hazan},
title = {PAC-Bayesian approach for minimization of phoneme error rate},
booktitle = {Proceedings of the {IEEE} International Conference on Acoustics, Speech,
and Signal Processing, {ICASSP} 2011, May 22-27, 2011, Prague Congress
Center, Prague, Czech Republic},
pages = {2224--2227},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ICASSP.2011.5946923},
doi = {10.1109/ICASSP.2011.5946923},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icassp/KeshetMH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/PengHMU11,
author = {Jian Peng and
Tamir Hazan and
David A. McAllester and
Raquel Urtasun},
editor = {Lise Getoor and
Tobias Scheffer},
title = {Convex Max-Product over Compact Sets for Protein Folding},
booktitle = {Proceedings of the 28th International Conference on Machine Learning,
{ICML} 2011, Bellevue, Washington, USA, June 28 - July 2, 2011},
pages = {729--736},
publisher = {Omnipress},
year = {2011},
url = {https://icml.cc/2011/papers/413\_icmlpaper.pdf},
timestamp = {Wed, 03 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icml/PengHMU11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/GuoMM11,
author = {Chunzhao Guo and
Seiichi Mita and
David A. McAllester},
title = {Adaptive non-planar road detection and tracking in challenging environments
using segmentation-based Markov Random Field},
booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
2011, Shanghai, China, 9-13 May 2011},
pages = {1172--1179},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ICRA.2011.5979693},
doi = {10.1109/ICRA.2011.5979693},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/GuoMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interspeech/KeshetCSM11,
author = {Joseph Keshet and
Chih{-}Chieh Cheng and
Mark Stoehr and
David A. McAllester},
title = {Direct Error Rate Minimization of Hidden Markov Models},
booktitle = {{INTERSPEECH} 2011, 12th Annual Conference of the International Speech
Communication Association, Florence, Italy, August 27-31, 2011},
pages = {449--452},
publisher = {{ISCA}},
year = {2011},
url = {https://doi.org/10.21437/Interspeech.2011-172},
doi = {10.21437/INTERSPEECH.2011-172},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interspeech/KeshetCSM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/NiknejadTMM11,
author = {Hossein Tehrani Niknejad and
Koji Takahashi and
Seiichi Mita and
David A. McAllester},
title = {Vehicle detection and tracking at nighttime for urban autonomous driving},
booktitle = {2011 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, {IROS} 2011, San Francisco, CA, USA, September 25-30, 2011},
pages = {4442--4447},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/IROS.2011.6094830},
doi = {10.1109/IROS.2011.6094830},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/iros/NiknejadTMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/NiknejadMMN11,
author = {Hossein Tehrani Niknejad and
Seiichi Mita and
David A. McAllester and
Takashi Naito},
title = {Vision-based vehicle detection for nighttime with discriminately trained
mixture of weighted deformable part models},
booktitle = {14th International {IEEE} Conference on Intelligent Transportation
Systems, {ITSC} 2011, Washington, DC, USA, October 5-7, 2011},
pages = {1560--1565},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ITSC.2011.6082826},
doi = {10.1109/ITSC.2011.6082826},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/itsc/NiknejadMMN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/GuoMM11,
author = {Chunzhao Guo and
Seiichi Mita and
David A. McAllester},
title = {Hierarchical road understanding for intelligent vehicles based on
sensor fusion},
booktitle = {14th International {IEEE} Conference on Intelligent Transportation
Systems, {ITSC} 2011, Washington, DC, USA, October 5-7, 2011},
pages = {1672--1679},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ITSC.2011.6082996},
doi = {10.1109/ITSC.2011.6082996},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itsc/GuoMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ivs/GuoSHMM11,
author = {Chunzhao Guo and
Wataru Sato and
Long Han and
Seiichi Mita and
David A. McAllester},
title = {Graph-based 2D road representation of 3D point clouds for intelligent
vehicles},
booktitle = {{IEEE} Intelligent Vehicles Symposium (IV), 2011, Baden-Baden, Germany,
June 5-9, 2011},
pages = {715--721},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/IVS.2011.5940502},
doi = {10.1109/IVS.2011.5940502},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/ivs/GuoSHMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ivs/NiknejadTMM11,
author = {Hossein Tehrani Niknejad and
Koji Takahashi and
Seiichi Mita and
David A. McAllester},
title = {Embedded multi-sensors objects detection and tracking for urban autonomous
driving},
booktitle = {{IEEE} Intelligent Vehicles Symposium (IV), 2011, Baden-Baden, Germany,
June 5-9, 2011},
pages = {1128--1135},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/IVS.2011.5940563},
doi = {10.1109/IVS.2011.5940563},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ivs/NiknejadTMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mlslp/McAllester11,
author = {David A. McAllester},
title = {Generalization bounds and consistency for latent-structural probit
and ramp loss},
booktitle = {2011 Symposium on Machine Learning in Speech and Language Processing,
{MLSLP} 2011, Bellevue, WA, USA, June 27, 2011},
publisher = {{ISCA}},
year = {2011},
url = {http://www.isca-speech.org/archive/mlslp\_2011/ml11\_109.html},
timestamp = {Tue, 16 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mlslp/McAllester11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/GirshickFM11,
author = {Ross B. Girshick and
Pedro F. Felzenszwalb and
David A. McAllester},
editor = {John Shawe{-}Taylor and
Richard S. Zemel and
Peter L. Bartlett and
Fernando C. N. Pereira and
Kilian Q. Weinberger},
title = {Object Detection with Grammar Models},
booktitle = {Advances in Neural Information Processing Systems 24: 25th Annual
Conference on Neural Information Processing Systems 2011. Proceedings
of a meeting held 12-14 December 2011, Granada, Spain},
pages = {442--450},
year = {2011},
url = {https://proceedings.neurips.cc/paper/2011/hash/6faa8040da20ef399b63a72d0e4ab575-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/GirshickFM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/McAllesterK11,
author = {David A. McAllester and
Joseph Keshet},
editor = {John Shawe{-}Taylor and
Richard S. Zemel and
Peter L. Bartlett and
Fernando C. N. Pereira and
Kilian Q. Weinberger},
title = {Generalization Bounds and Consistency for Latent Structural Probit
and Ramp Loss},
booktitle = {Advances in Neural Information Processing Systems 24: 25th Annual
Conference on Neural Information Processing Systems 2011. Proceedings
of a meeting held 12-14 December 2011, Granada, Spain},
pages = {2205--2212},
year = {2011},
url = {https://proceedings.neurips.cc/paper/2011/hash/3a029f04d76d32e79367c4b3255dda4d-Abstract.html},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/McAllesterK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-5270,
author = {J{\'{a}}nos A. Csirik and
Michael L. Littman and
David A. McAllester and
Robert E. Schapire and
Peter Stone},
title = {Decision-Theoretic Bidding Based on Learned Density Models in Simultaneous,
Interacting Auctions},
journal = {CoRR},
volume = {abs/1106.5270},
year = {2011},
url = {http://arxiv.org/abs/1106.5270},
eprinttype = {arXiv},
eprint = {1106.5270},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-5270.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-2216,
author = {Pedro F. Felzenszwalb and
David A. McAllester},
title = {The Generalized A* Architecture},
journal = {CoRR},
volume = {abs/1110.2216},
year = {2011},
url = {http://arxiv.org/abs/1110.2216},
eprinttype = {arXiv},
eprint = {1110.2216},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-2216.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pami/FelzenszwalbGMR10,
author = {Pedro F. Felzenszwalb and
Ross B. Girshick and
David A. McAllester and
Deva Ramanan},
title = {Object Detection with Discriminatively Trained Part-Based Models},
journal = {{IEEE} Trans. Pattern Anal. Mach. Intell.},
volume = {32},
number = {9},
pages = {1627--1645},
year = {2010},
url = {https://doi.org/10.1109/TPAMI.2009.167},
doi = {10.1109/TPAMI.2009.167},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pami/FelzenszwalbGMR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tit/HarshaJMR10,
author = {Prahladh Harsha and
Rahul Jain and
David A. McAllester and
Jaikumar Radhakrishnan},
title = {The communication complexity of correlation},
journal = {{IEEE} Trans. Inf. Theory},
volume = {56},
number = {1},
pages = {438--449},
year = {2010},
url = {https://doi.org/10.1109/TIT.2009.2034824},
doi = {10.1109/TIT.2009.2034824},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tit/HarshaJMR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/TrinhM10,
author = {Hoang Trinh and
David A. McAllester},
title = {Structure and motion from road-driving stereo sequences},
booktitle = {{IEEE} Conference on Computer Vision and Pattern Recognition, {CVPR}
Workshops 2010, San Francisco, CA, USA, 13-18 June, 2010},
pages = {9--16},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/CVPRW.2010.5543783},
doi = {10.1109/CVPRW.2010.5543783},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cvpr/TrinhM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/FelzenszwalbGM10,
author = {Pedro F. Felzenszwalb and
Ross B. Girshick and
David A. McAllester},
title = {Cascade object detection with deformable part models},
booktitle = {The Twenty-Third {IEEE} Conference on Computer Vision and Pattern
Recognition, {CVPR} 2010, San Francisco, CA, USA, 13-18 June 2010},
pages = {2241--2248},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/CVPR.2010.5539906},
doi = {10.1109/CVPR.2010.5539906},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cvpr/FelzenszwalbGM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/FelzenszwalbGMR10,
author = {Pedro F. Felzenszwalb and
Ross B. Girshick and
David A. McAllester and
Deva Ramanan},
editor = {Johannes F{\"{u}}rnkranz and
Thorsten Joachims},
title = {Discriminative Latent Variable Models for Object Detection},
booktitle = {Proceedings of the 27th International Conference on Machine Learning
(ICML-10), June 21-24, 2010, Haifa, Israel},
pages = {11--12},
publisher = {Omnipress},
year = {2010},
url = {https://icml.cc/Conferences/2010/papers/907.pdf},
timestamp = {Wed, 03 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icml/FelzenszwalbGMR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/GuoMM10,
author = {Chunzhao Guo and
Seiichi Mita and
David A. McAllester},
title = {Lane detection and tracking in challenging environments based on a
weighted graph and integrated cues},
booktitle = {2010 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, October 18-22, 2010, Taipei, Taiwan},
pages = {5543--5550},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/IROS.2010.5650695},
doi = {10.1109/IROS.2010.5650695},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/iros/GuoMM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/GuoMM10,
author = {Chunzhao Guo and
Seiichi Mita and
David A. McAllester},
title = {A vision system for autonomous vehicle navigation in challenging traffic
scenes using integrated cues},
booktitle = {13th International {IEEE} Conference on Intelligent Transportation
Systems, Funchal, Madeira, Portugal, 19-22 September 2010},
pages = {1697--1704},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ITSC.2010.5624989},
doi = {10.1109/ITSC.2010.5624989},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/itsc/GuoMM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ivs/GuoMM10,
author = {Chunzhao Guo and
Seiichi Mita and
David A. McAllester},
title = {MRF-based road detection with unsupervised learning for autonomous
driving in changing environments},
booktitle = {{IEEE} Intelligent Vehicles Symposium (IV), 2010, La Jolla, CA, USA,
June 21-24, 2010},
pages = {361--368},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/IVS.2010.5548107},
doi = {10.1109/IVS.2010.5548107},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/ivs/GuoMM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ivs/TakeuchiMM10,
author = {Akihiro Takeuchi and
Seiichi Mita and
David A. McAllester},
title = {On-road vehicle tracking using deformable object model and particle
filter with integrated likelihoods},
booktitle = {{IEEE} Intelligent Vehicles Symposium (IV), 2010, La Jolla, CA, USA,
June 21-24, 2010},
pages = {1014--1021},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/IVS.2010.5548067},
doi = {10.1109/IVS.2010.5548067},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ivs/TakeuchiMM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/McAllesterHK10,
author = {David A. McAllester and
Tamir Hazan and
Joseph Keshet},
editor = {John D. Lafferty and
Christopher K. I. Williams and
John Shawe{-}Taylor and
Richard S. Zemel and
Aron Culotta},
title = {Direct Loss Minimization for Structured Prediction},
booktitle = {Advances in Neural Information Processing Systems 23: 24th Annual
Conference on Neural Information Processing Systems 2010. Proceedings
of a meeting held 6-9 December 2010, Vancouver, British Columbia,
Canada},
pages = {1594--1602},
publisher = {Curran Associates, Inc.},
year = {2010},
url = {https://proceedings.neurips.cc/paper/2010/hash/ca8155f4d27f205953f9d3d7974bdd70-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/McAllesterHK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmvc/TrinhM09,
author = {Hoang Trinh and
David A. McAllester},
editor = {Andrea Cavallaro and
Simon Prince and
Daniel C. Alexander},
title = {Unsupervised Learning of Stereo Vision with Monocular Depth Cues},
booktitle = {British Machine Vision Conference, {BMVC} 2009, London, UK, September
7-10, 2009. Proceedings},
pages = {1--11},
publisher = {British Machine Vision Association},
year = {2009},
url = {https://doi.org/10.5244/C.23.72},
doi = {10.5244/C.23.72},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmvc/TrinhM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/GuoMM09,
author = {Chunzhao Guo and
Seiichi Mita and
David A. McAllester},
title = {Stereovision-based road boundary detection for intelligent vehicles
in challenging scenarios},
booktitle = {2009 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, October 11-15, 2009, St. Louis, MO, {USA}},
pages = {1723--1728},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/IROS.2009.5354702},
doi = {10.1109/IROS.2009.5354702},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/iros/GuoMM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/jmlr/IhlerM09,
author = {Alexander Ihler and
David A. McAllester},
editor = {David A. Van Dyk and
Max Welling},
title = {Particle Belief Propagation},
booktitle = {Proceedings of the Twelfth International Conference on Artificial
Intelligence and Statistics, {AISTATS} 2009, Clearwater Beach, Florida,
USA, April 16-18, 2009},
series = {{JMLR} Proceedings},
volume = {5},
pages = {256--263},
publisher = {JMLR.org},
year = {2009},
url = {http://proceedings.mlr.press/v5/ihler09a.html},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jmlr/IhlerM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/McAllesterCP08,
author = {David A. McAllester and
Michael Collins and
Fernando Pereira},
title = {Case-factor diagrams for structured probabilistic modeling},
journal = {J. Comput. Syst. Sci.},
volume = {74},
number = {1},
pages = {84--96},
year = {2008},
url = {https://doi.org/10.1016/j.jcss.2007.04.015},
doi = {10.1016/J.JCSS.2007.04.015},
timestamp = {Mon, 20 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/McAllesterCP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/FelzenszwalbMR08,
author = {Pedro F. Felzenszwalb and
David A. McAllester and
Deva Ramanan},
title = {A discriminatively trained, multiscale, deformable part model},
booktitle = {2008 {IEEE} Computer Society Conference on Computer Vision and Pattern
Recognition {(CVPR} 2008), 24-26 June 2008, Anchorage, Alaska, {USA}},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/CVPR.2008.4587597},
doi = {10.1109/CVPR.2008.4587597},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cvpr/FelzenszwalbMR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robvis/TrinhM08,
author = {Hoang Trinh and
David A. McAllester},
editor = {Gerald Sommer and
Reinhard Klette},
title = {Particle-Based Belief Propagation for Structure from Motion and Dense
Stereo Vision with Unknown Camera Constraints},
booktitle = {Robot Vision, Second International Workshop, RobVis 2008, Auckland,
New Zealand, February 18-20, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4931},
pages = {16--28},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78157-8\_2},
doi = {10.1007/978-3-540-78157-8\_2},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/robvis/TrinhM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/uai/2008,
editor = {David A. McAllester and
Petri Myllym{\"{a}}ki},
title = {{UAI} 2008, Proceedings of the 24th Conference in Uncertainty in Artificial
Intelligence, Helsinki, Finland, July 9-12, 2008},
publisher = {{AUAI} Press},
year = {2008},
isbn = {0-9749039-4-9},
timestamp = {Thu, 15 Dec 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uai/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/FelzenszwalbM07,
author = {Pedro F. Felzenszwalb and
David A. McAllester},
title = {The Generalized A* Architecture},
journal = {J. Artif. Intell. Res.},
volume = {29},
pages = {153--190},
year = {2007},
url = {https://doi.org/10.1613/jair.2187},
doi = {10.1613/JAIR.2187},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/FelzenszwalbM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/HarshaJMR07,
author = {Prahladh Harsha and
Rahul Jain and
David A. McAllester and
Jaikumar Radhakrishnan},
title = {The Communication Complexity of Correlation},
booktitle = {22nd Annual {IEEE} Conference on Computational Complexity {(CCC} 2007),
13-16 June 2007, San Diego, California, {USA}},
pages = {10--23},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/CCC.2007.32},
doi = {10.1109/CCC.2007.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coco/HarshaJMR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BlumeM06,
author = {Matthias Blume and
David A. McAllester},
title = {Sound and complete models of contracts},
journal = {J. Funct. Program.},
volume = {16},
number = {4-5},
pages = {375--414},
year = {2006},
url = {https://doi.org/10.1017/S0956796806005971},
doi = {10.1017/S0956796806005971},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/BlumeM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/FelzenszwalbM06,
author = {Pedro F. Felzenszwalb and
David A. McAllester},
title = {A Min-Cover Approach for Finding Salient Curves},
booktitle = {{IEEE} Conference on Computer Vision and Pattern Recognition, {CVPR}
Workshops 2006, New York, NY, USA, 17-22 June, 2006},
pages = {185},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/CVPRW.2006.18},
doi = {10.1109/CVPRW.2006.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cvpr/FelzenszwalbM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/HarshaJMR06,
author = {Prahladh Harsha and
Rahul Jain and
David A. McAllester and
Jaikumar Radhakrishnan},
title = {The communication complexity of correlation},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR06-151}},
year = {2006},
url = {https://eccc.weizmann.ac.il/eccc-reports/2006/TR06-151/index.html},
eprinttype = {ECCC},
eprint = {TR06-151},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/HarshaJMR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SannerM05,
author = {Scott Sanner and
David A. McAllester},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {Affine Algebraic Decision Diagrams (AADDs) and their Application to
Structured Probabilistic Inference},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {1384--1390},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/1439.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:29 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SannerM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/AltunMB05,
author = {Yasemin Altun and
David A. McAllester and
Mikhail Belkin},
title = {Margin Semi-Supervised Learning for Structured Variables},
booktitle = {Advances in Neural Information Processing Systems 18 [Neural Information
Processing Systems, {NIPS} 2005, December 5-8, 2005, Vancouver, British
Columbia, Canada]},
pages = {33--40},
year = {2005},
url = {https://proceedings.neurips.cc/paper/2005/hash/e833e042f509c996b1b25324d56659fb-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/AltunMB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jmlr/LangfordM04,
author = {John Langford and
David A. McAllester},
title = {Computable Shell Decomposition Bounds},
journal = {J. Mach. Learn. Res.},
volume = {5},
pages = {529--547},
year = {2004},
url = {http://jmlr.org/papers/volume5/langford04a/langford04a.pdf},
timestamp = {Wed, 10 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jmlr/LangfordM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BlumeM04,
author = {Matthias Blume and
David A. McAllester},
editor = {Chris Okasaki and
Kathleen Fisher},
title = {A sound (and complete) model of contracts},
booktitle = {Proceedings of the Ninth {ACM} {SIGPLAN} International Conference
on Functional Programming, {ICFP} 2004, Snow Bird, UT, USA, September
19-21, 2004},
pages = {189--200},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1016850.1016876},
doi = {10.1145/1016850.1016876},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/BlumeM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/BartlettCTM04,
author = {Peter L. Bartlett and
Michael Collins and
Benjamin Taskar and
David A. McAllester},
title = {Exponentiated Gradient Algorithms for Large-margin Structured Classification},
booktitle = {Advances in Neural Information Processing Systems 17 [Neural Information
Processing Systems, {NIPS} 2004, December 13-18, 2004, Vancouver,
British Columbia, Canada]},
pages = {113--120},
year = {2004},
url = {https://proceedings.neurips.cc/paper/2004/hash/e97c864e8ac67f7aed5ce53ec28638f5-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/BartlettCTM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/McAllesterCP04,
author = {David A. McAllester and
Michael Collins and
Fernando Pereira},
editor = {David Maxwell Chickering and
Joseph Y. Halpern},
title = {Case-Factor Diagrams for Structured Probabilistic Modeling},
booktitle = {{UAI} '04, Proceedings of the 20th Conference in Uncertainty in Artificial
Intelligence, Banff, Canada, July 7-11, 2004},
pages = {382--391},
publisher = {{AUAI} Press},
year = {2004},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=1133\&\#38;proceeding\_id=20},
timestamp = {Mon, 20 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uai/McAllesterCP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/StoneSLCM03,
author = {Peter Stone and
Robert E. Schapire and
Michael L. Littman and
J{\'{a}}nos A. Csirik and
David A. McAllester},
title = {Decision-Theoretic Bidding Based on Learned Density Models in Simultaneous,
Interacting Auctions},
journal = {J. Artif. Intell. Res.},
volume = {19},
pages = {209--242},
year = {2003},
url = {https://doi.org/10.1613/jair.1200},
doi = {10.1613/JAIR.1200},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/StoneSLCM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jmlr/McAllesterO03,
author = {David A. McAllester and
Luis E. Ortiz},
title = {Concentration Inequalities for the Missing Mass and for Histogram
Rule Error},
journal = {J. Mach. Learn. Res.},
volume = {4},
pages = {895--911},
year = {2003},
url = {http://jmlr.org/papers/v4/mcallester03a.html},
timestamp = {Wed, 10 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jmlr/McAllesterO03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/McAllester03,
author = {David A. McAllester},
title = {PAC-Bayesian Stochastic Model Selection},
journal = {Mach. Learn.},
volume = {51},
number = {1},
pages = {5--21},
year = {2003},
url = {https://doi.org/10.1023/A:1021840411064},
doi = {10.1023/A:1021840411064},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ml/McAllester03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colt/McAllester03,
author = {David A. McAllester},
editor = {Bernhard Sch{\"{o}}lkopf and
Manfred K. Warmuth},
title = {Simplified PAC-Bayesian Margin Bounds},
booktitle = {Computational Learning Theory and Kernel Machines, 16th Annual Conference
on Computational Learning Theory and 7th Kernel Workshop, COLT/Kernel
2003, Washington, DC, USA, August 24-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2777},
pages = {203--215},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45167-9\_16},
doi = {10.1007/978-3-540-45167-9\_16},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/colt/McAllester03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/McAllester03,
author = {David A. McAllester},
editor = {Robert Nieuwenhuis},
title = {Joint {RTA-TLCA} Invited Talk: {A} Logical Algorithm for {ML} Type
Inference},
booktitle = {Rewriting Techniques and Applications, 14th International Conference,
{RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2706},
pages = {436--451},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44881-0\_31},
doi = {10.1007/3-540-44881-0\_31},
timestamp = {Sun, 02 Oct 2022 16:14:20 +0200},
biburl = {https://dblp.org/rec/conf/rta/McAllester03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GivanMWK02,
author = {Robert Givan and
David A. McAllester and
Carl Witty and
Dexter Kozen},
title = {Tarskian Set Constraints},
journal = {Inf. Comput.},
volume = {174},
number = {2},
pages = {105--131},
year = {2002},
url = {https://doi.org/10.1006/inco.2001.2973},
doi = {10.1006/INCO.2001.2973},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GivanMWK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/icga/McAllesterY02,
author = {David A. McAllester and
Deniz Yuret},
title = {Alpha-Beta-Conspiracy Search},
journal = {J. Int. Comput. Games Assoc.},
volume = {25},
number = {1},
pages = {16--35},
year = {2002},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/icga/McAllesterY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/McAllester02,
author = {David A. McAllester},
title = {On the complexity analysis of static analyses},
journal = {J. {ACM}},
volume = {49},
number = {4},
pages = {512--537},
year = {2002},
url = {https://doi.org/10.1145/581771.581774},
doi = {10.1145/581771.581774},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/McAllester02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/MansourM02,
author = {Yishay Mansour and
David A. McAllester},
title = {Boosting Using Branching Programs},
journal = {J. Comput. Syst. Sci.},
volume = {64},
number = {1},
pages = {103--112},
year = {2002},
url = {https://doi.org/10.1006/jcss.2001.1796},
doi = {10.1006/JCSS.2001.1796},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/MansourM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GivanM02,
author = {Robert Givan and
David A. McAllester},
title = {Polynomial-time computation via local inference relations},
journal = {{ACM} Trans. Comput. Log.},
volume = {3},
number = {4},
pages = {521--541},
year = {2002},
url = {https://doi.org/10.1145/566385.566387},
doi = {10.1145/566385.566387},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/GivanM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amec/StoneSCLM02,
author = {Peter Stone and
Robert E. Schapire and
J{\'{a}}nos A. Csirik and
Michael L. Littman and
David A. McAllester},
editor = {Julian A. Padget and
Onn Shehory and
David C. Parkes and
Norman M. Sadeh and
William E. Walsh},
title = {ATTac-2001: {A} Learning, Autonomous Bidding Agent},
booktitle = {Agent-Mediated Electronic Commerce IV, Designing Mechanisms and Systems,
{AAMAS} 2002 Workshop on Agent Mediated Electronic Commerce, Bologna,
Italy, July 16, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2531},
pages = {143--160},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36378-5\_9},
doi = {10.1007/3-540-36378-5\_9},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/amec/StoneSCLM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GanzingerM02,
author = {Harald Ganzinger and
David A. McAllester},
editor = {Peter J. Stuckey},
title = {Logical Algorithms},
booktitle = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
Denmark, July 29 - August 1, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2401},
pages = {209--223},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45619-8\_15},
doi = {10.1007/3-540-45619-8\_15},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/GanzingerM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/SchapireSMLC02,
author = {Robert E. Schapire and
Peter Stone and
David A. McAllester and
Michael L. Littman and
J{\'{a}}nos A. Csirik},
editor = {Claude Sammut and
Achim G. Hoffmann},
title = {Modeling Auction Price Uncertainty Using Boosting-based Conditional
Density Estimation},
booktitle = {Machine Learning, Proceedings of the Nineteenth International Conference
{(ICML} 2002), University of New South Wales, Sydney, Australia, July
8-12, 2002},
pages = {546--553},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 16 Mar 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icml/SchapireSMLC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/McAllesterO02,
author = {David A. McAllester and
Luis E. Ortiz},
editor = {Suzanna Becker and
Sebastian Thrun and
Klaus Obermayer},
title = {Concentration Inequalities for the Missing Mass and for Histogram
Rule Error},
booktitle = {Advances in Neural Information Processing Systems 15 [Neural Information
Processing Systems, {NIPS} 2002, December 9-14, 2002, Vancouver, British
Columbia, Canada]},
pages = {351--358},
publisher = {{MIT} Press},
year = {2002},
url = {https://proceedings.neurips.cc/paper/2002/hash/be6c7b094f88532b6c6b35bbcd525ee8-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/McAllesterO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/AppelM01,
author = {Andrew W. Appel and
David A. McAllester},
title = {An indexed model of recursive types for foundational proof-carrying
code},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {23},
number = {5},
pages = {657--683},
year = {2001},
url = {https://doi.org/10.1145/504709.504712},
doi = {10.1145/504709.504712},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/AppelM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agents/StoneM01,
author = {Peter Stone and
David A. McAllester},
editor = {Elisabeth Andr{\'{e}} and
Sandip Sen and
Claude Frasson and
J{\"{o}}rg P. M{\"{u}}ller},
title = {An architecture for action selection in robotic soccer},
booktitle = {Proceedings of the Fifth International Conference on Autonomous Agents,
{AGENTS} 2001, Montreal, Canada, May 28 - June 1, 2001},
pages = {316--323},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/375735.376320},
doi = {10.1145/375735.376320},
timestamp = {Sat, 30 Sep 2023 09:33:47 +0200},
biburl = {https://dblp.org/rec/conf/agents/StoneM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GanzingerM01,
author = {Harald Ganzinger and
David A. McAllester},
editor = {Rajeev Gor{\'{e}} and
Alexander Leitsch and
Tobias Nipkow},
title = {A New Meta-complexity Theorem for Bottom-Up Logic Programs},
booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR}
2001, Siena, Italy, June 18-23, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2083},
pages = {514--528},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45744-5\_44},
doi = {10.1007/3-540-45744-5\_44},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/GanzingerM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/DasguptaLM01,
author = {Sanjoy Dasgupta and
Michael L. Littman and
David A. McAllester},
editor = {Thomas G. Dietterich and
Suzanna Becker and
Zoubin Ghahramani},
title = {{PAC} Generalization Bounds for Co-training},
booktitle = {Advances in Neural Information Processing Systems 14 [Neural Information
Processing Systems: Natural and Synthetic, {NIPS} 2001, December 3-8,
2001, Vancouver, British Columbia, Canada]},
pages = {375--382},
publisher = {{MIT} Press},
year = {2001},
url = {https://proceedings.neurips.cc/paper/2001/hash/4c144c47ecba6f8318128703ca9e2601-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/DasguptaLM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colt/McAllesterS00,
author = {David A. McAllester and
Robert E. Schapire},
editor = {Nicol{\`{o}} Cesa{-}Bianchi and
Sally A. Goldman},
title = {On the Convergence Rate of Good-Turing Estimators},
booktitle = {Proceedings of the Thirteenth Annual Conference on Computational Learning
Theory {(COLT} 2000), June 28 - July 1, 2000, Palo Alto, California,
{USA}},
pages = {1--6},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Wed, 20 Jun 2018 17:06:15 +0200},
biburl = {https://dblp.org/rec/conf/colt/McAllesterS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colt/LangfordM00,
author = {John Langford and
David A. McAllester},
editor = {Nicol{\`{o}} Cesa{-}Bianchi and
Sally A. Goldman},
title = {Computable Shell Decomposition Bounds},
booktitle = {Proceedings of the Thirteenth Annual Conference on Computational Learning
Theory {(COLT} 2000), June 28 - July 1, 2000, Palo Alto, California,
{USA}},
pages = {25--34},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Sat, 06 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/colt/LangfordM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colt/MansourM00,
author = {Yishay Mansour and
David A. McAllester},
editor = {Nicol{\`{o}} Cesa{-}Bianchi and
Sally A. Goldman},
title = {Generalization Bounds for Decision Trees},
booktitle = {Proceedings of the Thirteenth Annual Conference on Computational Learning
Theory {(COLT} 2000), June 28 - July 1, 2000, Palo Alto, California,
{USA}},
pages = {69--74},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Mon, 16 Dec 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/colt/MansourM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colt/MansourM00a,
author = {Yishay Mansour and
David A. McAllester},
editor = {Nicol{\`{o}} Cesa{-}Bianchi and
Sally A. Goldman},
title = {Boosting Using Branching Programs},
booktitle = {Proceedings of the Thirteenth Annual Conference on Computational Learning
Theory {(COLT} 2000), June 28 - July 1, 2000, Palo Alto, California,
{USA}},
pages = {220--224},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Mon, 16 Dec 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/colt/MansourM00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/McAllester00,
author = {David A. McAllester},
editor = {Rina Dechter},
title = {Meta-complexity Theorems: Talk Abstract},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2000, 6th
International Conference, Singapore, September 18-21, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1894},
pages = {13--17},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45349-0\_3},
doi = {10.1007/3-540-45349-0\_3},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/McAllester00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdd/CohenKM00,
author = {William W. Cohen and
Henry A. Kautz and
David A. McAllester},
editor = {Raghu Ramakrishnan and
Salvatore J. Stolfo and
Roberto J. Bayardo and
Ismail Parsa},
title = {Hardening soft information sources},
booktitle = {Proceedings of the sixth {ACM} {SIGKDD} international conference on
Knowledge discovery and data mining, Boston, MA, USA, August 20-23,
2000},
pages = {255--259},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/347090.347141},
doi = {10.1145/347090.347141},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kdd/CohenKM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robocup/McAllesterS00,
author = {David A. McAllester and
Peter Stone},
editor = {Peter Stone and
Tucker R. Balch and
Gerhard K. Kraetzschmar},
title = {Keeping the Ball from CMUnited-99},
booktitle = {RoboCup 2000: Robot Soccer World Cup {IV}},
series = {Lecture Notes in Computer Science},
volume = {2019},
pages = {333--338},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45324-5\_35},
doi = {10.1007/3-540-45324-5\_35},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/robocup/McAllesterS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robocup/RileySMV00,
author = {Patrick Riley and
Peter Stone and
David A. McAllester and
Manuela M. Veloso},
editor = {Peter Stone and
Tucker R. Balch and
Gerhard K. Kraetzschmar},
title = {ATT-CMUnited-2000: Third Place Finisher in the RoboCup-2000 Simulator
League},
booktitle = {RoboCup 2000: Robot Soccer World Cup {IV}},
series = {Lecture Notes in Computer Science},
volume = {2019},
pages = {489--492},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45324-5\_68},
doi = {10.1007/3-540-45324-5\_68},
timestamp = {Thu, 21 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/robocup/RileySMV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2000,
editor = {David A. McAllester},
title = {Automated Deduction - CADE-17, 17th International Conference on Automated
Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1831},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10721959},
doi = {10.1007/10721959},
isbn = {3-540-67664-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0007020,
author = {Robert Givan and
David A. McAllester},
title = {Polynomial-time Computation via Local Inference Relations},
journal = {CoRR},
volume = {cs.LO/0007020},
year = {2000},
url = {https://arxiv.org/abs/cs/0007020},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0007020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/McAllester99,
author = {David A. McAllester},
title = {Some PAC-Bayesian Theorems},
journal = {Mach. Learn.},
volume = {37},
number = {3},
pages = {355--363},
year = {1999},
url = {https://doi.org/10.1023/A:1007618624809},
doi = {10.1023/A:1007618624809},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ml/McAllester99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/AbneyMP99,
author = {Steven P. Abney and
David A. McAllester and
Fernando Pereira},
editor = {Robert Dale and
Kenneth Ward Church},
title = {Relating Probabilistic Grammars and Automata},
booktitle = {27th Annual Meeting of the Association for Computational Linguistics,
University of Maryland, College Park, Maryland, USA, 20-26 June 1999},
pages = {542--549},
publisher = {{ACL}},
year = {1999},
url = {https://aclanthology.org/P99-1070/},
doi = {10.3115/1034678.1034759},
timestamp = {Wed, 24 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acl/AbneyMP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colt/McAllester99,
author = {David A. McAllester},
editor = {Shai Ben{-}David and
Philip M. Long},
title = {PAC-Bayesian Model Averaging},
booktitle = {Proceedings of the Twelfth Annual Conference on Computational Learning
Theory, {COLT} 1999, Santa Cruz, CA, USA, July 7-9, 1999},
pages = {164--170},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/307400.307435},
doi = {10.1145/307400.307435},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/colt/McAllester99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/McAllester99,
author = {David A. McAllester},
editor = {Michael Gelfond and
Nicola Leone and
Gerald Pfeifer},
title = {World-Modeling vs. World-Axiomatizing},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 5th International Conference,
LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1730},
pages = {375--388},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46767-X\_29},
doi = {10.1007/3-540-46767-X\_29},
timestamp = {Sun, 02 Oct 2022 16:11:19 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/McAllester99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/MansourM99,
author = {Yishay Mansour and
David A. McAllester},
editor = {Sara A. Solla and
Todd K. Leen and
Klaus{-}Robert M{\"{u}}ller},
title = {Boosting with Multi-Way Branching in Decision Trees},
booktitle = {Advances in Neural Information Processing Systems 12, {[NIPS} Conference,
Denver, Colorado, USA, November 29 - December 4, 1999]},
pages = {300--306},
publisher = {The {MIT} Press},
year = {1999},
url = {http://papers.nips.cc/paper/1659-boosting-with-multi-way-branching-in-decision-trees},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/MansourM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/SuttonMSM99,
author = {Richard S. Sutton and
David A. McAllester and
Satinder Singh and
Yishay Mansour},
editor = {Sara A. Solla and
Todd K. Leen and
Klaus{-}Robert M{\"{u}}ller},
title = {Policy Gradient Methods for Reinforcement Learning with Function Approximation},
booktitle = {Advances in Neural Information Processing Systems 12, {[NIPS} Conference,
Denver, Colorado, USA, November 29 - December 4, 1999]},
pages = {1057--1063},
publisher = {The {MIT} Press},
year = {1999},
url = {http://papers.nips.cc/paper/1713-policy-gradient-methods-for-reinforcement-learning-with-function-approximation},
timestamp = {Tue, 19 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nips/SuttonMSM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/McAllester99,
author = {David A. McAllester},
editor = {Agostino Cortesi and
Gilberto Fil{\'{e}}},
title = {On the Complexity Analysis of Static Analyses},
booktitle = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy,
September 22-24, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1694},
pages = {312--329},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48294-6\_21},
doi = {10.1007/3-540-48294-6\_21},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/McAllester99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/McAllesterS99,
author = {David A. McAllester and
Satinder Singh},
editor = {Kathryn B. Laskey and
Henri Prade},
title = {Approximate Planning for Factored POMDPs using Belief State Simplification},
booktitle = {{UAI} '99: Proceedings of the Fifteenth Conference on Uncertainty
in Artificial Intelligence, Stockholm, Sweden, July 30 - August 1,
1999},
pages = {409--416},
publisher = {Morgan Kaufmann},
year = {1999},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=193\&\#38;proceeding\_id=15},
timestamp = {Tue, 19 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uai/McAllesterS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/1999,
editor = {Harald Ganzinger and
David A. McAllester and
Andrei Voronkov},
title = {Logic Programming and Automated Reasoning, 6th International Conference,
LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1705},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48242-3},
doi = {10.1007/3-540-48242-3},
isbn = {3-540-66492-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colt/McAllester98,
author = {David A. McAllester},
editor = {Peter L. Bartlett and
Yishay Mansour},
title = {Some PAC-Bayesian Theorems},
booktitle = {Proceedings of the Eleventh Annual Conference on Computational Learning
Theory, {COLT} 1998, Madison, Wisconsin, USA, July 24-26, 1998},
pages = {230--234},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/279943.279989},
doi = {10.1145/279943.279989},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/colt/McAllester98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CharatonikMNPW98,
author = {Witold Charatonik and
David A. McAllester and
Damian Niwinski and
Andreas Podelski and
Igor Walukiewicz},
title = {The Horn Mu-calculus},
booktitle = {Thirteenth Annual {IEEE} Symposium on Logic in Computer Science, Indianapolis,
Indiana, USA, June 21-24, 1998},
pages = {58--69},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/LICS.1998.705643},
doi = {10.1109/LICS.1998.705643},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/CharatonikMNPW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/McAllesterSK97,
author = {David A. McAllester and
Bart Selman and
Henry A. Kautz},
editor = {Benjamin Kuipers and
Bonnie L. Webber},
title = {Evidence for Invariants in Local Search},
booktitle = {Proceedings of the Fourteenth National Conference on Artificial Intelligence
and Ninth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 97, {IAAI} 97, July 27-31, 1997, Providence, Rhode Island,
{USA}},
pages = {321--326},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1997},
url = {http://www.aaai.org/Library/AAAI/1997/aaai97-050.php},
timestamp = {Tue, 05 Sep 2023 08:53:09 +0200},
biburl = {https://dblp.org/rec/conf/aaai/McAllesterSK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KollerMP97,
author = {Daphne Koller and
David A. McAllester and
Avi Pfeffer},
editor = {Benjamin Kuipers and
Bonnie L. Webber},
title = {Effective Bayesian Inference for Stochastic Programs},
booktitle = {Proceedings of the Fourteenth National Conference on Artificial Intelligence
and Ninth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 97, {IAAI} 97, July 27-31, 1997, Providence, Rhode Island,
{USA}},
pages = {740--747},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1997},
url = {http://www.aaai.org/Library/AAAI/1997/aaai97-115.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KollerMP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HeintzeM97,
author = {Nevin Heintze and
David A. McAllester},
editor = {Simon L. Peyton Jones and
Mads Tofte and
A. Michael Berman},
title = {On the Complexity of Set-Based Analysis},
booktitle = {Proceedings of the 1997 {ACM} {SIGPLAN} International Conference on
Functional Programming {(ICFP} '97), Amsterdam, The Netherlands, June
9-11, 1997},
pages = {150--163},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/258948.258963},
doi = {10.1145/258948.258963},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/icfp/HeintzeM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SelmanKM97,
author = {Bart Selman and
Henry A. Kautz and
David A. McAllester},
title = {Ten Challenges in Propositional Reasoning and Search},
booktitle = {Proceedings of the Fifteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes},
pages = {50--54},
publisher = {Morgan Kaufmann},
year = {1997},
url = {http://ijcai.org/Proceedings/97-1/Papers/008.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:27 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SelmanKM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HeintzeM97,
author = {Nevin Heintze and
David A. McAllester},
title = {On the Cubic Bottleneck in Subtyping and Flow Analysis},
booktitle = {Proceedings, 12th Annual {IEEE} Symposium on Logic in Computer Science,
Warsaw, Poland, June 29 - July 2, 1997},
pages = {342--351},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/LICS.1997.614960},
doi = {10.1109/LICS.1997.614960},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/HeintzeM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HeintzeM97,
author = {Nevin Heintze and
David A. McAllester},
editor = {Marina C. Chen and
Ron K. Cytron and
A. Michael Berman},
title = {Linear-time Subtransitive Control Flow Analysis},
booktitle = {Proceedings of the {ACM} {SIGPLAN} '97 Conference on Programming Language
Design and Implementation (PLDI), Las Vegas, Nevada, USA, June 15-18,
1997},
pages = {261--272},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/258915.258939},
doi = {10.1145/258915.258939},
timestamp = {Thu, 08 Jul 2021 16:04:02 +0200},
biburl = {https://dblp.org/rec/conf/pldi/HeintzeM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/McAllester96,
author = {David A. McAllester},
title = {The Rise of Nonlinear Mathematical Programming},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4es},
pages = {68},
year = {1996},
url = {https://doi.org/10.1145/242224.242311},
doi = {10.1145/242224.242311},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/McAllester96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/McAllesterA96,
author = {David A. McAllester and
Kostas Arkoudas},
editor = {Michael A. McRobbie and
John K. Slaney},
title = {Walther Recursion},
booktitle = {Automated Deduction - CADE-13, 13th International Conference on Automated
Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1104},
pages = {643--657},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61511-3\_119},
doi = {10.1007/3-540-61511-3\_119},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/McAllesterA96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KautzMS96,
author = {Henry A. Kautz and
David A. McAllester and
Bart Selman},
editor = {Luigia Carlucci Aiello and
Jon Doyle and
Stuart C. Shapiro},
title = {Encoding Plans in Propositional Logic},
booktitle = {Proceedings of the Fifth International Conference on Principles of
Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts,
USA, November 5-8, 1996},
pages = {374--384},
publisher = {Morgan Kaufmann},
year = {1996},
timestamp = {Fri, 18 May 2012 15:03:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/KautzMS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/McAllesterGWK96,
author = {David A. McAllester and
Robert Givan and
Carl Witty and
Dexter Kozen},
title = {Tarskian Set Constraints},
booktitle = {Proceedings, 11th Annual {IEEE} Symposium on Logic in Computer Science,
New Brunswick, New Jersey, USA, July 27-30, 1996},
pages = {138--147},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/LICS.1996.561313},
doi = {10.1109/LICS.1996.561313},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/McAllesterGWK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/McAllesterKO95,
author = {David A. McAllester and
J. Kucan and
D. F. Otth},
title = {A Proof of Strong Normalization of F{\_}2, F{\_}omega and Beyond},
journal = {Inf. Comput.},
volume = {121},
number = {2},
pages = {193--200},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1132},
doi = {10.1006/INCO.1995.1132},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/McAllesterKO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GinsbergM94,
author = {Matthew L. Ginsberg and
David A. McAllester},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {{GSAT} and Dynamic Backtracking},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {226--237},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 15:02:59 +0200},
biburl = {https://dblp.org/rec/conf/kr/GinsbergM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppcp/GinsbergM94,
author = {Matthew L. Ginsberg and
David A. McAllester},
editor = {Alan Borning},
title = {{GSAT} and Dynamic Backtracking},
booktitle = {Principles and Practice of Constraint Programming, Second International
Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4,
1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {874},
pages = {243--265},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58601-6\_105},
doi = {10.1007/3-540-58601-6\_105},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/ppcp/GinsbergM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BenhamouMH94,
author = {Fr{\'{e}}d{\'{e}}ric Benhamou and
David A. McAllester and
Pascal Van Hentenryck},
editor = {Maurice Bruynooghe},
title = {CLP(Intervals) Revisited},
booktitle = {Logic Programming, Proceedings of the 1994 International Symposium,
Ithaca, New York, USA, November 13-17, 1994},
pages = {124--138},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/BenhamouMH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/McAllesterG93,
author = {David A. McAllester and
Robert Givan},
title = {Taxonomic Syntax for First Order Inference},
journal = {J. {ACM}},
volume = {40},
number = {2},
pages = {246--283},
year = {1993},
url = {https://doi.org/10.1145/151261.151264},
doi = {10.1145/151261.151264},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/McAllesterG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/McAllester93,
author = {David A. McAllester},
title = {Automatic Recognition of Tractability in Inference Relations},
journal = {J. {ACM}},
volume = {40},
number = {2},
pages = {284--303},
year = {1993},
url = {https://doi.org/10.1145/151261.151265},
doi = {10.1145/151261.151265},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/McAllester93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/McAllesterPS93,
author = {David A. McAllester and
Prakash Panangaden and
Vasant Shanbhogue},
title = {Nonexpressibility of Fairness and Signaling},
journal = {J. Comput. Syst. Sci.},
volume = {47},
number = {2},
pages = {287--321},
year = {1993},
url = {https://doi.org/10.1016/0022-0000(93)90034-T},
doi = {10.1016/0022-0000(93)90034-T},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/McAllesterPS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/KoMN93,
author = {Hai{-}Ping Ko and
David A. McAllester and
Mark E. Nadel},
title = {Lower Bounds for the Lengths of Refutations},
journal = {J. Log. Program.},
volume = {17},
number = {1},
pages = {31--58},
year = {1993},
url = {https://doi.org/10.1016/0743-1066(93)90008-5},
doi = {10.1016/0743-1066(93)90008-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/KoMN93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SiskindM93,
author = {Jeffrey Mark Siskind and
David A. McAllester},
editor = {Richard Fikes and
Wendy G. Lehnert},
title = {Nondeterministic Lisp as a Substrate for Constraint Logic Programming},
booktitle = {Proceedings of the 11th National Conference on Artificial Intelligence.
Washington, DC, USA, July 11-15, 1993},
pages = {133--138},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1993},
url = {http://www.aaai.org/Library/AAAI/1993/aaai93-021.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SiskindM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/McAllester93,
author = {David A. McAllester},
title = {Bottom Up Logic Programming as an Inference Tool},
booktitle = {Fifth International Conference on Tools with Artificial Intelligence,
{ICTAI} '93, Boston, Massachusetts, USA, November 8-11, 1993},
pages = {8},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/TAI.1993.633927},
doi = {10.1109/TAI.1993.633927},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/McAllester93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/McAllesterG92,
author = {David A. McAllester and
Robert Givan},
title = {Natural Language Syntax and First-Order Inference},
journal = {Artif. Intell.},
volume = {56},
number = {1},
pages = {1--20},
year = {1992},
url = {https://doi.org/10.1016/0004-3702(92)90063-4},
doi = {10.1016/0004-3702(92)90063-4},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/McAllesterG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/McAllester92,
author = {David A. McAllester},
editor = {Deepak Kapur},
title = {Grammar Rewriting},
booktitle = {Automated Deduction - CADE-11, 11th International Conference on Automated
Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {607},
pages = {124--138},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55602-8\_160},
doi = {10.1007/3-540-55602-8\_160},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/McAllester92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GivanM92,
author = {Robert Givan and
David A. McAllester},
editor = {Bernhard Nebel and
Charles Rich and
William R. Swartout},
title = {New Results on Local Inference Relations},
booktitle = {Proceedings of the 3rd International Conference on Principles of Knowledge
Representation and Reasoning (KR'92). Cambridge, MA, USA, October
25-29, 1992},
pages = {403--412},
publisher = {Morgan Kaufmann},
year = {1992},
timestamp = {Fri, 22 Jun 2018 07:35:19 +0200},
biburl = {https://dblp.org/rec/conf/kr/GivanM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigart/McAllester91,
author = {David A. McAllester},
title = {Socratic Sequent Systems},
journal = {{SIGART} Bull.},
volume = {2},
number = {3},
pages = {98--100},
year = {1991},
url = {https://doi.org/10.1145/122296.122311},
doi = {10.1145/122296.122311},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigart/McAllester91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/McAllesterR91,
author = {David A. McAllester and
David Rosenblitt},
editor = {Thomas L. Dean and
Kathleen R. McKeown},
title = {Systematic Nonlinear Planning},
booktitle = {Proceedings of the 9th National Conference on Artificial Intelligence,
Anaheim, CA, USA, July 14-19, 1991, Volume 2},
pages = {634--639},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1991},
url = {http://www.aaai.org/Library/AAAI/1991/aaai91-099.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/McAllesterR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/McAllester91,
author = {David A. McAllester},
editor = {Thomas L. Dean and
Kathleen R. McKeown},
title = {Observations on Cognitive Judgments},
booktitle = {Proceedings of the 9th National Conference on Artificial Intelligence,
Anaheim, CA, USA, July 14-19, 1991, Volume 2},
pages = {910--914},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1991},
url = {http://www.aaai.org/Library/AAAI/1991/aaai91-141.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/McAllester91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GivanMS91,
author = {Robert Givan and
David A. McAllester and
Sameer Shalaby},
editor = {Thomas L. Dean and
Kathleen R. McKeown},
title = {Natural Language Based Inference Procedures Applied to Schubert's
Steamroller},
booktitle = {Proceedings of the 9th National Conference on Artificial Intelligence,
Anaheim, CA, USA, July 14-19, 1991, Volume 2},
pages = {915--920},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1991},
url = {http://www.aaai.org/Library/AAAI/1991/aaai91-142.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GivanMS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/McAllester90,
author = {David A. McAllester},
editor = {Howard E. Shrobe and
Thomas G. Dietterich and
William R. Swartout},
title = {Truth Maintenance},
booktitle = {Proceedings of the 8th National Conference on Artificial Intelligence.
Boston, Massachusetts, USA, July 29 - August 3, 1990, 2 Volumes},
pages = {1109--1116},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1990},
url = {http://www.aaai.org/Library/AAAI/1990/aaai90-164.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/McAllester90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/McAllesterGF89,
author = {David A. McAllester and
Robert Givan and
Tanveer Fatima},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Taxonomic Syntax for First Order Inference},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {289--300},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 15:03:01 +0200},
biburl = {https://dblp.org/rec/conf/kr/McAllesterGF89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/McAllester88,
author = {David A. McAllester},
title = {Conspiracy Numbers for Min-Max Search},
journal = {Artif. Intell.},
volume = {35},
number = {3},
pages = {287--310},
year = {1988},
url = {https://doi.org/10.1016/0004-3702(88)90019-7},
doi = {10.1016/0004-3702(88)90019-7},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/McAllester88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ZabihM88,
author = {Ramin Zabih and
David A. McAllester},
editor = {Howard E. Shrobe and
Tom M. Mitchell and
Reid G. Smith},
title = {A Rearrangement Search Strategy for Determining Propositional Satisfiability},
booktitle = {Proceedings of the 7th National Conference on Artificial Intelligence,
St. Paul, MN, USA, August 21-26, 1988},
pages = {155--160},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1988},
url = {http://www.aaai.org/Library/AAAI/1988/aaai88-028.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ZabihM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/McAllester88,
author = {David A. McAllester},
editor = {Ewing L. Lusk and
Ross A. Overbeek},
title = {Ontic: {A} Knowledge Representation System for Mathematics},
booktitle = {9th International Conference on Automated Deduction, Argonne, Illinois,
USA, May 23-26, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {310},
pages = {742--743},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0012876},
doi = {10.1007/BFB0012876},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/McAllester88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/McAllesterPS88,
author = {David A. McAllester and
Prakash Panangaden and
Vasant Shanbhogue},
title = {Nonexpressibility of Fairness and Signaling},
booktitle = {29th Annual Symposium on Foundations of Computer Science, White Plains,
New York, USA, 24-26 October 1988},
pages = {377--386},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {https://doi.org/10.1109/SFCS.1988.21954},
doi = {10.1109/SFCS.1988.21954},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/McAllesterPS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ElkanM88,
author = {Charles Elkan and
David A. McAllester},
editor = {Robert A. Kowalski and
Kenneth A. Bowen},
title = {Automated Inductive Reasoning about Logic Programs},
booktitle = {Logic Programming, Proceedings of the Fifth International Conference
and Symposium, Seattle, Washington, USA, August 15-19, 1988 {(2} Volumes)},
pages = {876--892},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Sat, 23 Jun 2018 18:45:26 +0200},
biburl = {https://dblp.org/rec/conf/iclp/ElkanM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ZabihMC87,
author = {Ramin Zabih and
David A. McAllester and
David Chapman},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Non-Deterministic Lisp with Dependency-directed Backtracking},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {59--65},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-011.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ZabihMC87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/McAllesterZ86,
author = {David A. McAllester and
Ramin Zabih},
editor = {Norman K. Meyrowitz},
title = {Boolean Classes},
booktitle = {Conference on Object-Oriented Programming Systems, Languages, and
Applications, {OOPSLA} 1986, Portland, Oregon, USA, Proceedings},
pages = {417--423},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/28697.28740},
doi = {10.1145/28697.28740},
timestamp = {Wed, 30 Mar 2022 13:53:37 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/McAllesterZ86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HalpernM84,
author = {Joseph Y. Halpern and
David A. McAllester},
editor = {Ronald J. Brachman},
title = {Likelihood, Probability, and Knowledge},
booktitle = {Proceedings of the National Conference on Artificial Intelligence.
Austin, TX, USA, August 6-10, 1984},
pages = {137--141},
publisher = {{AAAI} Press},
year = {1984},
url = {http://www.aaai.org/Library/AAAI/1984/aaai84-037.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HalpernM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/McAllester81,
author = {David A. McAllester},
editor = {Patrick J. Hayes},
title = {Algebraic Approximations},
booktitle = {Proceedings of the 7th International Joint Conference on Artificial
Intelligence, {IJCAI} '81, Vancouver, BC, Canada, August 24-28, 1981},
pages = {1024--1026},
publisher = {William Kaufmann},
year = {1981},
timestamp = {Tue, 20 Aug 2019 16:16:26 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/McAllester81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
