David A. McAllester
According to our database^{1},
David A. McAllester
authored at least 119 papers
between 1981 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at id.loc.gov

at dnb.info

at isni.org
On csauthors.net:
Bibliography
2019
Evidence Sentence Extraction for Machine Reading Comprehension.
Proceedings of the 23rd Conference on Computational Natural Language Learning, 2019
2017
Emergent Predication Structure in Hidden State Vectors of Neural Readers.
Proceedings of the 2nd Workshop on Representation Learning for NLP, 2017
Broad Context Language Modeling as Reading Comprehension.
Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics, 2017
2016
Emergent Logical Structure in Vector Representations of Neural Readers.
CoRR, 2016
Who did What: A LargeScale PersonCentered Cloze Dataset.
Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing, 2016
2015
Machine Comprehension with Syntax, Frames, and Semantics.
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, 2015
2014
Implementation and Abstraction in Mathematics.
CoRR, 2014
Discriminative Metric Learning by Neighborhood Gerrymandering.
Proceedings of the Advances in Neural Information Processing Systems 27: Annual Conference on Neural Information Processing Systems 2014, 2014
Efficient Joint Segmentation, Occlusion Labeling, Stereo and Flow Estimation.
Proceedings of the Computer Vision  ECCV 2014, 2014
2013
A PACBayesian Tutorial with A Dropout Bound.
CoRR, 2013
Visual object detection with deformable part models.
Commun. ACM, 2013
Robust Monocular Epipolar Flow Estimation.
Proceedings of the 2013 IEEE Conference on Computer Vision and Pattern Recognition, 2013
2012
OnRoad Multivehicle Tracking Using Deformable Object Model and Particle Filter With Improved Likelihood Estimation.
IEEE Trans. Intelligent Transportation Systems, 2012
Robust Road Detection and Tracking in Challenging Scenarios Based on Markov Random Fields With Unsupervised Learning.
IEEE Trans. Intelligent Transportation Systems, 2012
Proceedings of the TwentyFourth Conference on Uncertainty in Artificial Intelligence (2008)
CoRR, 2012
Continuous Markov Random Fields for Robust Stereo Estimation.
Proceedings of the Computer Vision  ECCV 2012, 2012
2011
Generalization Bounds and Consistency for Latent Structural Probit and Ramp Loss.
Proceedings of the Advances in Neural Information Processing Systems 24: 25th Annual Conference on Neural Information Processing Systems 2011. Proceedings of a meeting held 1214 December 2011, 2011
Object Detection with Grammar Models.
Proceedings of the Advances in Neural Information Processing Systems 24: 25th Annual Conference on Neural Information Processing Systems 2011. Proceedings of a meeting held 1214 December 2011, 2011
Generalization bounds and consistency for latentstructural probit and ramp loss.
Proceedings of the 2011 Symposium on Machine Learning in Speech and Language Processing, 2011
Embedded multisensors objects detection and tracking for urban autonomous driving.
Proceedings of the IEEE Intelligent Vehicles Symposium (IV), 2011
Graphbased 2D road representation of 3D point clouds for intelligent vehicles.
Proceedings of the IEEE Intelligent Vehicles Symposium (IV), 2011
Visionbased vehicle detection for nighttime with discriminately trained mixture of weighted deformable part models.
Proceedings of the 14th International IEEE Conference on Intelligent Transportation Systems, 2011
Hierarchical road understanding for intelligent vehicles based on sensor fusion.
Proceedings of the 14th International IEEE Conference on Intelligent Transportation Systems, 2011
Vehicle detection and tracking at nighttime for urban autonomous driving.
Proceedings of the 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2011
Direct Error Rate Minimization of Hidden Markov Models.
Proceedings of the INTERSPEECH 2011, 2011
Adaptive nonplanar road detection and tracking in challenging environments using segmentationbased Markov Random Field.
Proceedings of the IEEE International Conference on Robotics and Automation, 2011
Convex MaxProduct over Compact Sets for Protein Folding.
Proceedings of the 28th International Conference on Machine Learning, 2011
PACBayesian approach for minimization of phoneme error rate.
Proceedings of the IEEE International Conference on Acoustics, 2011
2010
Object Detection with Discriminatively Trained PartBased Models.
IEEE Trans. Pattern Anal. Mach. Intell., 2010
Direct Loss Minimization for Structured Prediction.
Proceedings of the Advances in Neural Information Processing Systems 23: 24th Annual Conference on Neural Information Processing Systems 2010. Proceedings of a meeting held 69 December 2010, 2010
Onroad vehicle tracking using deformable object model and particle filter with integrated likelihoods.
Proceedings of the IEEE Intelligent Vehicles Symposium (IV), 2010
MRFbased road detection with unsupervised learning for autonomous driving in changing environments.
Proceedings of the IEEE Intelligent Vehicles Symposium (IV), 2010
A vision system for autonomous vehicle navigation in challenging traffic scenes using integrated cues.
Proceedings of the 13th International IEEE Conference on Intelligent Transportation Systems, 2010
Lane detection and tracking in challenging environments based on a weighted graph and integrated cues.
Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010
Discriminative Latent Variable Models for Object Detection.
Proceedings of the 27th International Conference on Machine Learning (ICML10), 2010
Structure and motion from roaddriving stereo sequences.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2010
Cascade object detection with deformable part models.
Proceedings of the TwentyThird IEEE Conference on Computer Vision and Pattern Recognition, 2010
2009
Particle Belief Propagation.
Proceedings of the Twelfth International Conference on Artificial Intelligence and Statistics, 2009
Stereovisionbased road boundary detection for intelligent vehicles in challenging scenarios.
Proceedings of the 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2009
Unsupervised Learning of Stereo Vision with Monocular Depth Cues.
Proceedings of the British Machine Vision Conference, 2009
2008
Casefactor diagrams for structured probabilistic modeling.
J. Comput. Syst. Sci., 2008
ParticleBased Belief Propagation for Structure from Motion and Dense Stereo Vision with Unknown Camera Constraints.
Proceedings of the Robot Vision, Second International Workshop, 2008
A discriminatively trained, multiscale, deformable part model.
Proceedings of the 2008 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2008), 2008
2007
The Generalized A* Architecture.
J. Artif. Intell. Res., 2007
2006
Sound and complete models of contracts.
J. Funct. Program., 2006
The communication complexity of correlation.
Electronic Colloquium on Computational Complexity (ECCC), 2006
A MinCover Approach for Finding Salient Curves.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2006
2005
Margin SemiSupervised Learning for Structured Variables.
Proceedings of the Advances in Neural Information Processing Systems 18 [Neural Information Processing Systems, 2005
Affine Algebraic Decision Diagrams (AADDs) and their Application to Structured Probabilistic Inference.
Proceedings of the IJCAI05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
2004
Computable Shell Decomposition Bounds.
J. Mach. Learn. Res., 2004
Exponentiated Gradient Algorithms for Largemargin Structured Classification.
Proceedings of the Advances in Neural Information Processing Systems 17 [Neural Information Processing Systems, 2004
A sound (and complete) model of contracts.
Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, 2004
2003
PACBayesian Stochastic Model Selection.
Machine Learning, 2003
Concentration Inequalities for the Missing Mass and for Histogram Rule Error.
J. Mach. Learn. Res., 2003
DecisionTheoretic Bidding Based on Learned Density Models in Simultaneous, Interacting Auctions.
J. Artif. Intell. Res., 2003
Joint RTATLCA Invited Talk: A Logical Algorithm for ML Type Inference.
Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003
Simplified PACBayesian Margin Bounds.
Proceedings of the Computational Learning Theory and Kernel Machines, 2003
2002
Polynomialtime computation via local inference relations.
ACM Trans. Comput. Log., 2002
Boosting Using Branching Programs.
J. Comput. Syst. Sci., 2002
On the complexity analysis of static analyses.
J. ACM, 2002
AlphaBetaConspiracy Search.
ICGA Journal, 2002
Tarskian Set Constraints.
Inf. Comput., 2002
Modeling Auction Price Uncertainty Using Boostingbased Conditional Density Estimation.
Proceedings of the Machine Learning, 2002
Logical Algorithms.
Proceedings of the Logic Programming, 18th International Conference, 2002
ATTac2001: A Learning, Autonomous Bidding Agent.
Proceedings of the AgentMediated Electronic Commerce IV, 2002
2001
An indexed model of recursive types for foundational proofcarrying code.
ACM Trans. Program. Lang. Syst., 2001
PAC Generalization Bounds for Cotraining.
Proceedings of the Advances in Neural Information Processing Systems 14 [Neural Information Processing Systems: Natural and Synthetic, 2001
A New Metacomplexity Theorem for BottomUp Logic Programs.
Proceedings of the Automated Reasoning, First International Joint Conference, 2001
An architecture for action selection in robotic soccer.
Proceedings of the Fifth International Conference on Autonomous Agents, 2001
Resolution Theorem Proving.
Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001
2000
ATTCMUnited2000: Third Place Finisher in the RoboCup2000 Simulator League.
Proceedings of the RoboCup 2000: Robot Soccer World Cup IV, 2000
Keeping the Ball from CMUnited99.
Proceedings of the RoboCup 2000: Robot Soccer World Cup IV, 2000
Hardening soft information sources.
Proceedings of the sixth ACM SIGKDD international conference on Knowledge discovery and data mining, 2000
Metacomplexity Theorems: Talk Abstract.
Proceedings of the Principles and Practice of Constraint Programming, 2000
On the Convergence Rate of GoodTuring Estimators.
Proceedings of the Thirteenth Annual Conference on Computational Learning Theory (COLT 2000), June 28, 2000
Generalization Bounds for Decision Trees.
Proceedings of the Thirteenth Annual Conference on Computational Learning Theory (COLT 2000), June 28, 2000
1999
Some PACBayesian Theorems.
Machine Learning, 1999
Approximate Planning for Factored POMDPs using Belief State Simplification.
Proceedings of the UAI '99: Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence, Stockholm, Sweden, July 30, 1999
Policy Gradient Methods for Reinforcement Learning with Function Approximation.
Proceedings of the Advances in Neural Information Processing Systems 12, [NIPS Conference, Denver, Colorado, USA, November 29, 1999
Boosting with MultiWay Branching in Decision Trees.
Proceedings of the Advances in Neural Information Processing Systems 12, [NIPS Conference, Denver, Colorado, USA, November 29, 1999
WorldModeling vs. WorldAxiomatizing.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999
PACBayesian Model Averaging.
Proceedings of the Twelfth Annual Conference on Computational Learning Theory, 1999
Relating Probabilistic Grammars and Automata.
Proceedings of the 27th Annual Meeting of the Association for Computational Linguistics, 1999
1998
The Horn Mucalculus.
Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998
1997
Lineartime Subtransitive Control Flow Analysis.
Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), 1997
On the Cubic Bottleneck in Subtyping and Flow Analysis.
Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997
Ten Challenges in Propositional Reasoning and Search.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997
On the Complexity of SetBased Analysis.
Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997
Evidence for Invariants in Local Search.
Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997
Effective Bayesian Inference for Stochastic Programs.
Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997
1996
The Rise of Nonlinear Mathematical Programming.
ACM Comput. Surv., 1996
Encoding Plans in Propositional Logic.
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996
Walther Recursion.
Proceedings of the Automated Deduction  CADE13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996
1995
A Proof of Strong Normalization of F_2, F_omega and Beyond
Inf. Comput., September, 1995
1994
CLP(Intervals) Revisited.
Proceedings of the Logic Programming, 1994
GSAT and Dynamic Backtracking.
Proceedings of the Principles and Practice of Constraint Programming, 1994
1993
Lower Bounds for the Lengths of Refutations.
J. Log. Program., 1993
Nonexpressibility of Fairness and Signaling.
J. Comput. Syst. Sci., 1993
Taxonomic Syntax for First Order Inference.
J. ACM, 1993
Automatic Recognition of Tractability in Inference Relations.
J. ACM, 1993
Bottom Up Logic Programming as an Inference Tool.
Proceedings of the Fifth International Conference on Tools with Artificial Intelligence, 1993
Nondeterministic Lisp as a Substrate for Constraint Logic Programming.
Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993
1992
Natural Language Syntax and FirstOrder Inference.
Artif. Intell., 1992
New Results on Local Inference Relations.
Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992
Grammar Rewriting.
Proceedings of the Automated Deduction, 1992
1991
Socratic Sequent Systems.
SIGART Bulletin, 1991
Systematic Nonlinear Planning.
Proceedings of the 9th National Conference on Artificial Intelligence, 1991
Observations on Cognitive Judgments.
Proceedings of the 9th National Conference on Artificial Intelligence, 1991
Natural Language Based Inference Procedures Applied to Schubert's Steamroller.
Proceedings of the 9th National Conference on Artificial Intelligence, 1991
1990
Truth Maintenance.
Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990
1989
Taxonomic Syntax for First Order Inference.
Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, 1989
1988
Conspiracy Numbers for MinMax Search.
Artif. Intell., 1988
Automated Inductive Reasoning about Logic Programs.
Proceedings of the Logic Programming, 1988
Ontic: A Knowledge Representation System for Mathematics.
Proceedings of the 9th International Conference on Automated Deduction, 1988
A Rearrangement Search Strategy for Determining Propositional Satisfiability.
Proceedings of the 7th National Conference on Artificial Intelligence, 1988
1987
NonDeterministic Lisp with Dependencydirected Backtracking.
Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987
1986
Boolean Classes.
Proceedings of the Conference on ObjectOriented Programming Systems, 1986
1984
Likelihood, Probability, and Knowledge.
Proceedings of the National Conference on Artificial Intelligence. Austin, 1984
1981
Algebraic Approximations.
Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981