David A. McAllester

141 papers A* 36A 19B 10C 2Misc 1Journal 42Unranked 31

Year	Rank	Type	Title / Venue / Authors
2019	B	`conf`	Evidence Sentence Extraction for Machine Reading Comprehension. CoNLL Hai Wang, Dian Yu, Kai Sun, Jianshu Chen, Dong Yu, David A. McAllester, Dan Roth
2019	J	`jnl`	Evidence Sentence Extraction for Machine Reading Comprehension. CoRR Hai Wang, Dian Yu, Kai Sun, Jianshu Chen, Dong Yu, Dan Roth, David A. McAllester
2017	—	`conf`	Broad Context Language Modeling as Reading Comprehension. EACL (2) Zewei Chu, Hai Wang, Kevin Gimpel, David A. McAllester
2017	—	`conf`	Emergent Predication Structure in Hidden State Vectors of Neural Readers. Rep4NLP@ACL Hai Wang, Takeshi Onishi, Kevin Gimpel, David A. McAllester
2016	J	`jnl`	Broad Context Language Modeling as Reading Comprehension. CoRR Zewei Chu, Hai Wang, Kevin Gimpel, David A. McAllester
2016	J	`jnl`	Emergent Logical Structure in Vector Representations of Neural Readers. CoRR Hai Wang, Takeshi Onishi, Kevin Gimpel, David A. McAllester
2016	A*	`conf`	Who did What: A Large-Scale Person-Centered Cloze Dataset. EMNLP Takeshi Onishi, Hai Wang, Mohit Bansal, Kevin Gimpel, David A. McAllester
2016	J	`jnl`	Who did What: A Large-Scale Person-Centered Cloze Dataset. CoRR Takeshi Onishi, Hai Wang, Mohit Bansal, Kevin Gimpel, David A. McAllester
2015	—	`conf`	Machine Comprehension with Syntax, Frames, and Semantics. ACL (2) Hai Wang, Mohit Bansal, Kevin Gimpel, David A. McAllester
2014	—	`conf`	Discriminative Metric Learning by Neighborhood Gerrymandering. NIPS Shubhendu Trivedi, David A. McAllester, Greg Shakhnarovich
2014	—	`conf`	Efficient Joint Segmentation, Occlusion Labeling, Stereo and Flow Estimation. ECCV (5) Koichiro Yamaguchi, David A. McAllester, Raquel Urtasun
2014	J	`jnl`	Implementation and Abstraction in Mathematics. CoRR David A. McAllester
2013	J	`jnl`	A PAC-Bayesian Tutorial with A Dropout Bound. CoRR David A. McAllester
2013	J	`jnl`	Approximate Planning for Factored POMDPs using Belief State Simplification CoRR David A. McAllester, Satinder Singh
2013	A*	`conf`	Robust Monocular Epipolar Flow Estimation. CVPR Koichiro Yamaguchi, David A. McAllester, Raquel Urtasun
2013	J	`jnl`	Visual object detection with deformable part models. Commun. ACM Pedro F. Felzenszwalb, Ross B. Girshick, David A. McAllester, Deva Ramanan
2012	J	`jnl`	Case-Factor Diagrams for Structured Probabilistic Modeling CoRR David A. McAllester, Michael Collins, Fernando Pereira
2012	J	`jnl`	Continuous Markov Random Fields for Robust Stereo Estimation CoRR Koichiro Yamaguchi, Tamir Hazan, David A. McAllester, Raquel Urtasun
2012	—	`conf`	Continuous Markov Random Fields for Robust Stereo Estimation. ECCV (5) Koichiro Yamaguchi, Tamir Hazan, David A. McAllester, Raquel Urtasun
2012	J	`jnl`	On-Road Multivehicle Tracking Using Deformable Object Model and Particle Filter With Improved Likelihood Estimation. IEEE Trans. Intell. Transp. Syst. Hossein Tehrani Niknejad, Akihiro Takeuchi, Seiichi Mita, David A. McAllester
2012	J	`jnl`	Proceedings of the Twenty-Fourth Conference on Uncertainty in Artificial Intelligence (2008) CoRR David A. McAllester, Petri Myllymäki
2012	J	`jnl`	Robust Road Detection and Tracking in Challenging Scenarios Based on Markov Random Fields With Unsupervised Learning. IEEE Trans. Intell. Transp. Syst. Chunzhao Guo, Seiichi Mita, David A. McAllester
2011	A*	`conf`	Adaptive non-planar road detection and tracking in challenging environments using segmentation-based Markov Random Field. ICRA Chunzhao Guo, Seiichi Mita, David A. McAllester
2011	A*	`conf`	Convex Max-Product over Compact Sets for Protein Folding. ICML Jian Peng, Tamir Hazan, David A. McAllester, Raquel Urtasun
2011	J	`jnl`	Decision-Theoretic Bidding Based on Learned Density Models in Simultaneous, Interacting Auctions CoRR János A. Csirik, Michael L. Littman, David A. McAllester, Robert E. Schapire, Peter Stone
2011	A	`conf`	Direct Error Rate Minimization of Hidden Markov Models. INTERSPEECH Joseph Keshet, Chih-Chieh Cheng, Mark Stoehr, David A. McAllester
2011	B	`conf`	Embedded multi-sensors objects detection and tracking for urban autonomous driving. Intelligent Vehicles Symposium Hossein Tehrani Niknejad, Koji Takahashi, Seiichi Mita, David A. McAllester
2011	—	`conf`	Generalization Bounds and Consistency for Latent Structural Probit and Ramp Loss. NIPS David A. McAllester, Joseph Keshet
2011	—	`conf`	Generalization bounds and consistency for latent-structural probit and ramp loss. MLSLP David A. McAllester
2011	B	`conf`	Graph-based 2D road representation of 3D point clouds for intelligent vehicles. Intelligent Vehicles Symposium Chunzhao Guo, Wataru Sato, Long Han, Seiichi Mita, David A. McAllester
2011	—	`conf`	Hierarchical road understanding for intelligent vehicles based on sensor fusion. ITSC Chunzhao Guo, Seiichi Mita, David A. McAllester
2011	—	`conf`	Object Detection with Grammar Models. NIPS Ross B. Girshick, Pedro F. Felzenszwalb, David A. McAllester
2011	Misc	`conf`	PAC-Bayesian approach for minimization of phoneme error rate. ICASSP Joseph Keshet, David A. McAllester, Tamir Hazan
2011	J	`jnl`	The Generalized A* Architecture CoRR Pedro F. Felzenszwalb, David A. McAllester
2011	A	`conf`	Vehicle detection and tracking at nighttime for urban autonomous driving. IROS Hossein Tehrani Niknejad, Koji Takahashi, Seiichi Mita, David A. McAllester
2011	—	`conf`	Vision-based vehicle detection for nighttime with discriminately trained mixture of weighted deformable part models. ITSC Hossein Tehrani Niknejad, Seiichi Mita, David A. McAllester, Takashi Naito
2010	—	`conf`	A vision system for autonomous vehicle navigation in challenging traffic scenes using integrated cues. ITSC Chunzhao Guo, Seiichi Mita, David A. McAllester
2010	A*	`conf`	Cascade object detection with deformable part models. CVPR Pedro F. Felzenszwalb, Ross B. Girshick, David A. McAllester
2010	—	`conf`	Direct Loss Minimization for Structured Prediction. NIPS David A. McAllester, Tamir Hazan, Joseph Keshet
2010	A*	`conf`	Discriminative Latent Variable Models for Object Detection. ICML Pedro F. Felzenszwalb, Ross B. Girshick, David A. McAllester, Deva Ramanan
2010	A	`conf`	Lane detection and tracking in challenging environments based on a weighted graph and integrated cues. IROS Chunzhao Guo, Seiichi Mita, David A. McAllester
2010	B	`conf`	MRF-based road detection with unsupervised learning for autonomous driving in changing environments. Intelligent Vehicles Symposium Chunzhao Guo, Seiichi Mita, David A. McAllester
2010	J	`jnl`	Object Detection with Discriminatively Trained Part-Based Models. IEEE Trans. Pattern Anal. Mach. Intell. Pedro F. Felzenszwalb, Ross B. Girshick, David A. McAllester, Deva Ramanan
2010	B	`conf`	On-road vehicle tracking using deformable object model and particle filter with integrated likelihoods. Intelligent Vehicles Symposium Akihiro Takeuchi, Seiichi Mita, David A. McAllester
2010	—	`conf`	Structure and motion from road-driving stereo sequences. CVPR Workshops Hoang Trinh, David A. McAllester
2010	J	`jnl`	The communication complexity of correlation. IEEE Trans. Inf. Theory Prahladh Harsha, Rahul Jain, David A. McAllester, Jaikumar Radhakrishnan
2009	A	`conf`	Particle Belief Propagation. AISTATS Alexander Ihler, David A. McAllester
2009	A	`conf`	Stereovision-based road boundary detection for intelligent vehicles in challenging scenarios. IROS Chunzhao Guo, Seiichi Mita, David A. McAllester
2009	A	`conf`	Unsupervised Learning of Stereo Vision with Monocular Depth Cues. BMVC Hoang Trinh, David A. McAllester
2008	A*	`conf`	A discriminatively trained, multiscale, deformable part model. CVPR Pedro F. Felzenszwalb, David A. McAllester, Deva Ramanan
2008	J	`jnl`	Case-factor diagrams for structured probabilistic modeling. J. Comput. Syst. Sci. David A. McAllester, Michael Collins, Fernando Pereira
2008	—	`conf`	Particle-Based Belief Propagation for Structure from Motion and Dense Stereo Vision with Unknown Camera Constraints. RobVis Hoang Trinh, David A. McAllester
2008	A	`ed.`	UAI 2008, Proceedings of the 24th Conference in Uncertainty in Artificial Intelligence, Helsinki, Finland, July 9-12, 2008 UAI David A. McAllester, Petri Myllymäki
2007	A	`conf`	The Communication Complexity of Correlation. CCC Prahladh Harsha, Rahul Jain, David A. McAllester, Jaikumar Radhakrishnan
2007	J	`jnl`	The Generalized A* Architecture. J. Artif. Intell. Res. Pedro F. Felzenszwalb, David A. McAllester
2006	—	`conf`	A Min-Cover Approach for Finding Salient Curves. CVPR Workshops Pedro F. Felzenszwalb, David A. McAllester
2006	J	`jnl`	Sound and complete models of contracts. J. Funct. Program. Matthias Blume, David A. McAllester
2006	J	`jnl`	The communication complexity of correlation. Electron. Colloquium Comput. Complex. Prahladh Harsha, Rahul Jain, David A. McAllester, Jaikumar Radhakrishnan
2005	A*	`conf`	Affine Algebraic Decision Diagrams (AADDs) and their Application to Structured Probabilistic Inference. IJCAI Scott Sanner, David A. McAllester
2005	—	`conf`	Margin Semi-Supervised Learning for Structured Variables. NIPS Yasemin Altun, David A. McAllester, Mikhail Belkin
2004	A	`conf`	A sound (and complete) model of contracts. ICFP Matthias Blume, David A. McAllester
2004	A	`conf`	Case-Factor Diagrams for Structured Probabilistic Modeling. UAI David A. McAllester, Michael Collins, Fernando Pereira
2004	J	`jnl`	Computable Shell Decomposition Bounds. J. Mach. Learn. Res. John Langford, David A. McAllester
2004	—	`conf`	Exponentiated Gradient Algorithms for Large-margin Structured Classification. NIPS Peter L. Bartlett, Michael Collins, Benjamin Taskar, David A. McAllester
2003	J	`jnl`	Concentration Inequalities for the Missing Mass and for Histogram Rule Error. J. Mach. Learn. Res. David A. McAllester, Luis E. Ortiz
2003	J	`jnl`	Decision-Theoretic Bidding Based on Learned Density Models in Simultaneous, Interacting Auctions. J. Artif. Intell. Res. Peter Stone, Robert E. Schapire, Michael L. Littman, János A. Csirik, David A. McAllester
2003	—	`conf`	Joint RTA-TLCA Invited Talk: A Logical Algorithm for ML Type Inference. RTA David A. McAllester
2003	J	`jnl`	PAC-Bayesian Stochastic Model Selection. Mach. Learn. David A. McAllester
2003	A*	`conf`	Simplified PAC-Bayesian Margin Bounds. COLT David A. McAllester
2002	—	`conf`	ATTac-2001: A Learning, Autonomous Bidding Agent. AMEC Peter Stone, Robert E. Schapire, János A. Csirik, Michael L. Littman, David A. McAllester
2002	J	`jnl`	Alpha-Beta-Conspiracy Search. ICGA J. David A. McAllester, Deniz Yuret
2002	J	`jnl`	Boosting Using Branching Programs. J. Comput. Syst. Sci. Yishay Mansour, David A. McAllester
2002	—	`conf`	Concentration Inequalities for the Missing Mass and for Histogram Rule Error. NIPS David A. McAllester, Luis E. Ortiz
2002	B	`conf`	Logical Algorithms. ICLP Harald Ganzinger, David A. McAllester
2002	A*	`conf`	Modeling Auction Price Uncertainty Using Boosting-based Conditional Density Estimation. ICML Robert E. Schapire, Peter Stone, David A. McAllester, Michael L. Littman, János A. Csirik
2002	J	`jnl`	On the complexity analysis of static analyses. J. ACM David A. McAllester
2002	J	`jnl`	Polynomial-time computation via local inference relations. ACM Trans. Comput. Log. Robert Givan, David A. McAllester
2002	J	`jnl`	Tarskian Set Constraints. Inf. Comput. Robert Givan, David A. McAllester, Carl Witty, Dexter Kozen
2001	A	`conf`	A New Meta-complexity Theorem for Bottom-Up Logic Programs. IJCAR Harald Ganzinger, David A. McAllester
2001	—	`conf`	An architecture for action selection in robotic soccer. Agents Peter Stone, David A. McAllester
2001	J	`jnl`	An indexed model of recursive types for foundational proof-carrying code. ACM Trans. Program. Lang. Syst. Andrew W. Appel, David A. McAllester
2001	—	`conf`	PAC Generalization Bounds for Co-training. NIPS Sanjoy Dasgupta, Michael L. Littman, David A. McAllester
2000	C	`conf`	ATT-CMUnited-2000: Third Place Finisher in the RoboCup-2000 Simulator League. RoboCup Patrick Riley, Peter Stone, David A. McAllester, Manuela M. Veloso
2000	A	`ed.`	Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings CADE David A. McAllester
2000	A*	`conf`	Boosting Using Branching Programs. COLT Yishay Mansour, David A. McAllester
2000	A*	`conf`	Computable Shell Decomposition Bounds. COLT John Langford, David A. McAllester
2000	A*	`conf`	Generalization Bounds for Decision Trees. COLT Yishay Mansour, David A. McAllester
2000	A*	`conf`	Hardening soft information sources. KDD William W. Cohen, Henry A. Kautz, David A. McAllester
2000	C	`conf`	Keeping the Ball from CMUnited-99. RoboCup David A. McAllester, Peter Stone
2000	A	`conf`	Meta-complexity Theorems: Talk Abstract. CP David A. McAllester
2000	A*	`conf`	On the Convergence Rate of Good-Turing Estimators. COLT David A. McAllester, Robert E. Schapire
2000	J	`jnl`	Polynomial-time Computation via Local Inference Relations CoRR Robert Givan, David A. McAllester
1999	A	`conf`	Approximate Planning for Factored POMDPs using Belief State Simplification. UAI David A. McAllester, Satinder Singh
1999	—	`conf`	Boosting with Multi-Way Branching in Decision Trees. NIPS Yishay Mansour, David A. McAllester
1999	B	`ed.`	Logic Programming and Automated Reasoning, 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings LPAR Harald Ganzinger, David A. McAllester, Andrei Voronkov
1999	B	`conf`	On the Complexity Analysis of Static Analyses. SAS David A. McAllester
1999	A*	`conf`	PAC-Bayesian Model Averaging. COLT David A. McAllester
1999	—	`conf`	Policy Gradient Methods for Reinforcement Learning with Function Approximation. NIPS Richard S. Sutton, David A. McAllester, Satinder Singh, Yishay Mansour
1999	A*	`conf`	Relating Probabilistic Grammars and Automata. ACL Steven P. Abney, David A. McAllester, Fernando Pereira
1999	J	`jnl`	Some PAC-Bayesian Theorems. Mach. Learn. David A. McAllester
1999	B	`conf`	World-Modeling vs. World-Axiomatizing. LPNMR David A. McAllester
1998	A*	`conf`	Some PAC-Bayesian Theorems. COLT David A. McAllester
1998	A*	`conf`	The Horn Mu-calculus. LICS Witold Charatonik, David A. McAllester, Damian Niwinski, Andreas Podelski, Igor Walukiewicz
1997	—	`conf`	Effective Bayesian Inference for Stochastic Programs. AAAI/IAAI Daphne Koller, David A. McAllester, Avi Pfeffer
1997	—	`conf`	Evidence for Invariants in Local Search. AAAI/IAAI David A. McAllester, Bart Selman, Henry A. Kautz
1997	A*	`conf`	Linear-time Subtransitive Control Flow Analysis. PLDI Nevin Heintze, David A. McAllester
1997	A	`conf`	On the Complexity of Set-Based Analysis. ICFP Nevin Heintze, David A. McAllester
1997	A*	`conf`	On the Cubic Bottleneck in Subtyping and Flow Analysis. LICS Nevin Heintze, David A. McAllester
1997	—	`conf`	Ten Challenges in Propositional Reasoning and Search. IJCAI (1) Bart Selman, Henry A. Kautz, David A. McAllester
1996	A*	`conf`	Encoding Plans in Propositional Logic. KR Henry A. Kautz, David A. McAllester, Bart Selman
1996	A*	`conf`	Tarskian Set Constraints. LICS David A. McAllester, Robert Givan, Carl Witty, Dexter Kozen
1996	J	`jnl`	The Rise of Nonlinear Mathematical Programming. ACM Comput. Surv. David A. McAllester
1996	A	`conf`	Walther Recursion. CADE David A. McAllester, Kostas Arkoudas
1995	J	`jnl`	A Proof of Strong Normalization of F_2, F_omega and Beyond Inf. Comput. David A. McAllester, J. Kucan, D. F. Otth
1994	—	`conf`	CLP(Intervals) Revisited. ILPS Frédéric Benhamou, David A. McAllester, Pascal Van Hentenryck
1994	A*	`conf`	GSAT and Dynamic Backtracking. KR Matthew L. Ginsberg, David A. McAllester
1994	—	`conf`	GSAT and Dynamic Backtracking. PPCP Matthew L. Ginsberg, David A. McAllester
1993	J	`jnl`	Automatic Recognition of Tractability in Inference Relations. J. ACM David A. McAllester
1993	B	`conf`	Bottom Up Logic Programming as an Inference Tool. ICTAI David A. McAllester
1993	J	`jnl`	Lower Bounds for the Lengths of Refutations. J. Log. Program. Hai-Ping Ko, David A. McAllester, Mark E. Nadel
1993	A*	`conf`	Nondeterministic Lisp as a Substrate for Constraint Logic Programming. AAAI Jeffrey Mark Siskind, David A. McAllester
1993	J	`jnl`	Nonexpressibility of Fairness and Signaling. J. Comput. Syst. Sci. David A. McAllester, Prakash Panangaden, Vasant Shanbhogue
1993	J	`jnl`	Taxonomic Syntax for First Order Inference. J. ACM David A. McAllester, Robert Givan
1992	A	`conf`	Grammar Rewriting. CADE David A. McAllester
1992	J	`jnl`	Natural Language Syntax and First-Order Inference. Artif. Intell. David A. McAllester, Robert Givan
1992	A*	`conf`	New Results on Local Inference Relations. KR Robert Givan, David A. McAllester
1991	A*	`conf`	Natural Language Based Inference Procedures Applied to Schubert's Steamroller. AAAI Robert Givan, David A. McAllester, Sameer Shalaby
1991	A*	`conf`	Observations on Cognitive Judgments. AAAI David A. McAllester
1991	J	`jnl`	Socratic Sequent Systems. SIGART Bull. David A. McAllester
1991	A*	`conf`	Systematic Nonlinear Planning. AAAI David A. McAllester, David Rosenblitt
1990	A*	`conf`	Truth Maintenance. AAAI David A. McAllester
1989	A*	`conf`	Taxonomic Syntax for First Order Inference. KR David A. McAllester, Robert Givan, Tanveer Fatima
1988	A*	`conf`	A Rearrangement Search Strategy for Determining Propositional Satisfiability. AAAI Ramin Zabih, David A. McAllester
1988	—	`conf`	Automated Inductive Reasoning about Logic Programs. ICLP/SLP Charles Elkan, David A. McAllester
1988	J	`jnl`	Conspiracy Numbers for Min-Max Search. Artif. Intell. David A. McAllester
1988	A*	`conf`	Nonexpressibility of Fairness and Signaling FOCS David A. McAllester, Prakash Panangaden, Vasant Shanbhogue
1988	A	`conf`	Ontic: A Knowledge Representation System for Mathematics. CADE David A. McAllester
1987	A*	`conf`	Non-Deterministic Lisp with Dependency-directed Backtracking. AAAI Ramin Zabih, David A. McAllester, David Chapman
1986	A	`conf`	Boolean Classes. OOPSLA David A. McAllester, Ramin Zabih
1984	A*	`conf`	Likelihood, Probability, and Knowledge. AAAI Joseph Y. Halpern, David A. McAllester
1981	A*	`conf`	Algebraic Approximations. IJCAI David A. McAllester