David A. McAllester

According to our database1, David A. McAllester authored at least 119 papers between 1981 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

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 Large-Scale Person-Centered 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 PAC-Bayesian 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
On-Road 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 Twenty-Fourth 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 12-14 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 12-14 December 2011, 2011

Generalization bounds and consistency for latent-structural probit and ramp loss.
Proceedings of the 2011 Symposium on Machine Learning in Speech and Language Processing, 2011

Embedded multi-sensors objects detection and tracking for urban autonomous driving.
Proceedings of the IEEE Intelligent Vehicles Symposium (IV), 2011

Graph-based 2D road representation of 3D point clouds for intelligent vehicles.
Proceedings of the IEEE Intelligent Vehicles Symposium (IV), 2011

Vision-based 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 non-planar road detection and tracking in challenging environments using segmentation-based Markov Random Field.
Proceedings of the IEEE International Conference on Robotics and Automation, 2011

Convex Max-Product over Compact Sets for Protein Folding.
Proceedings of the 28th International Conference on Machine Learning, 2011

PAC-Bayesian approach for minimization of phoneme error rate.
Proceedings of the IEEE International Conference on Acoustics, 2011

2010
Object Detection with Discriminatively Trained Part-Based 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 6-9 December 2010, 2010

On-road vehicle tracking using deformable object model and particle filter with integrated likelihoods.
Proceedings of the IEEE Intelligent Vehicles Symposium (IV), 2010

MRF-based 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 (ICML-10), 2010

Structure and motion from road-driving stereo sequences.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2010

Cascade object detection with deformable part models.
Proceedings of the Twenty-Third 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

Stereovision-based 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
Case-factor diagrams for structured probabilistic modeling.
J. Comput. Syst. Sci., 2008

Particle-Based 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 Min-Cover Approach for Finding Salient Curves.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2006

2005
Margin Semi-Supervised 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 IJCAI-05, 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 Large-margin 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
PAC-Bayesian Stochastic Model Selection.
Machine Learning, 2003

Concentration Inequalities for the Missing Mass and for Histogram Rule Error.
J. Mach. Learn. Res., 2003

Decision-Theoretic Bidding Based on Learned Density Models in Simultaneous, Interacting Auctions.
J. Artif. Intell. Res., 2003

Joint RTA-TLCA Invited Talk: A Logical Algorithm for ML Type Inference.
Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

Simplified PAC-Bayesian Margin Bounds.
Proceedings of the Computational Learning Theory and Kernel Machines, 2003

2002
Polynomial-time 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

Alpha-Beta-Conspiracy Search.
ICGA Journal, 2002

Tarskian Set Constraints.
Inf. Comput., 2002

Modeling Auction Price Uncertainty Using Boosting-based Conditional Density Estimation.
Proceedings of the Machine Learning, 2002

Logical Algorithms.
Proceedings of the Logic Programming, 18th International Conference, 2002

ATTac-2001: A Learning, Autonomous Bidding Agent.
Proceedings of the Agent-Mediated Electronic Commerce IV, 2002

2001
An indexed model of recursive types for foundational proof-carrying code.
ACM Trans. Program. Lang. Syst., 2001

PAC Generalization Bounds for Co-training.
Proceedings of the Advances in Neural Information Processing Systems 14 [Neural Information Processing Systems: Natural and Synthetic, 2001

A New Meta-complexity Theorem for Bottom-Up 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
ATT-CMUnited-2000: Third Place Finisher in the RoboCup-2000 Simulator League.
Proceedings of the RoboCup 2000: Robot Soccer World Cup IV, 2000

Keeping the Ball from CMUnited-99.
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

Meta-complexity Theorems: Talk Abstract.
Proceedings of the Principles and Practice of Constraint Programming, 2000

On the Convergence Rate of Good-Turing 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 PAC-Bayesian 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 Multi-Way Branching in Decision Trees.
Proceedings of the Advances in Neural Information Processing Systems 12, [NIPS Conference, Denver, Colorado, USA, November 29, 1999

World-Modeling vs. World-Axiomatizing.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

PAC-Bayesian 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 Mu-calculus.
Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

1997
Linear-time 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 Set-Based 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 - CADE-13, 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 First-Order 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 Min-Max 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
Non-Deterministic Lisp with Dependency-directed Backtracking.
Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

1986
Boolean Classes.
Proceedings of the Conference on Object-Oriented 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


  Loading...