David Allen Mcallester
#130,112
Most Influential Person Now
David Allen Mcallester's AcademicInfluence.com Rankings
David Allen Mcallestercomputer-science Degrees
Computer Science
#5676
World Rank
#5994
Historical Rank
Machine Learning
#1596
World Rank
#1618
Historical Rank
Artificial Intelligence
#1831
World Rank
#1863
Historical Rank
Database
#2818
World Rank
#2943
Historical Rank
Download Badge
Computer Science
David Allen Mcallester's Degrees
- Bachelors Mathematics University of California, Berkeley
Similar Degrees You Can Earn
Why Is David Allen Mcallester Influential?
(Suggest an Edit or Addition)David Allen Mcallester's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Object Detection with Discriminatively Trained Part Based Models (2010) (9938)
- Policy Gradient Methods for Reinforcement Learning with Function Approximation (1999) (5252)
- A discriminatively trained, multiscale, deformable part model (2008) (2807)
- Cascade object detection with deformable part models (2010) (936)
- Systematic Nonlinear Planning (1991) (731)
- Some PAC-Bayesian Theorems (1998) (583)
- Resolution Theorem Proving (2001) (473)
- A PAC-Bayesian Approach to Spectrally-Normalized Margin Bounds for Neural Networks (2017) (464)
- Evidence for Invariants in Local Search (1997) (452)
- PAC-Bayesian model averaging (1999) (443)
- Encoding Plans in Propositional Logic (1996) (353)
- CLP(Intervals) Revisited (1994) (350)
- An indexed model of recursive types for foundational proof-carrying code (2001) (347)
- Efficient Joint Segmentation, Occlusion Labeling, Stereo and Flow Estimation (2014) (344)
- Solving Polynomial Systems Using a Branch and Prune Approach (1997) (329)
- PAC Generalization Bounds for Co-training (2001) (318)
- Object Detection with Grammar Models (2011) (290)
- Proceedings of the Twenty-Fifth Conference on Uncertainty in Artificial Intelligence (2009) (257)
- PAC-Bayesian Stochastic Model Selection (2003) (236)
- An Outlook on Truth Maintenance. (1980) (222)
- Ten Challenges in Propositional Reasoning and Search (1997) (204)
- Truth Maintenance (1990) (199)
- Simplified PAC-Bayesian Margin Bounds (2003) (192)
- The Communication Complexity of Correlation (2007) (174)
- GSAT and Dynamic Backtracking (1994) (170)
- On-Road Multivehicle Tracking Using Deformable Object Model and Particle Filter With Improved Likelihood Estimation (2012) (165)
- Conspiracy Numbers for Min-Max Search (1988) (162)
- Automatic recognition of tractability in inference relations (1993) (151)
- A Rearrangement Search Strategy for Determining Propositional Satisfiability (1988) (149)
- Direct Loss Minimization for Structured Prediction (2010) (142)
- Particle Belief Propagation (2009) (138)
- On the Convergence Rate of Good-Turing Estimators (2000) (137)
- On the complexity analysis of static analyses (1999) (136)
- Who did What: A Large-Scale Person-Centered Cloze Dataset (2016) (134)
- Continuous Markov Random Fields for Robust Stereo Estimation (2012) (129)
- Robust Monocular Epipolar Flow Estimation (2013) (129)
- Hardening soft information sources (2000) (128)
- Effective Bayesian Inference for Stochastic Programs (1997) (117)
- Maximum Margin Semi-Supervised Learning for Structured Variables (2005) (116)
- A PAC-Bayesian Tutorial with A Dropout Bound (2013) (112)
- Machine Comprehension with Syntax, Frames, and Semantics (2015) (102)
- A Min-Cover Approach for Finding Salient Curves (2006) (95)
- Approximate Planning for Factored POMDPs using Belief State Simplification (1999) (94)
- The Generalized A* Architecture (2007) (90)
- Nondeterministic Lisp as a Substrate for Constraint Logic Programming (1993) (87)
- Exponentiated Gradient Algorithms for Large-margin Structured Classification (2004) (82)
- Linear-time subtransitive control flow analysis (1997) (81)
- Affine Algebraic Decision Diagrams (AADDs) and their Application to Structured Probabilistic Inference (2005) (79)
- Natural Language Syntax and First-Order Inference (1992) (78)
- Case-factor diagrams for structured probabilistic modeling (2004) (77)
- Relating Probabilistic Grammars and Automata (1999) (75)
- Robust Road Detection and Tracking in Challenging Scenarios Based on Markov Random Fields With Unsupervised Learning (2012) (72)
- Ontic: A Knowledge Representation System for Mathematics (1989) (72)
- Concentration Inequalities for the Missing Mass and for Histogram Rule Error (2003) (72)
- On the cubic bottleneck in subtyping and flow analysis (1997) (72)
- Decision-Theoretic Bidding Based on Learned Density Models in Simultaneous, Interacting Auctions (2003) (71)
- A Three Valued Truth Maintenance System. (1978) (67)
- Sound and complete models of contracts (2006) (66)
- Reasoning Utility Package User's Manual, Version One (1982) (66)
- Modeling Auction Price Uncertainty Using Boosting-based Conditional Density Estimation (2002) (65)
- Generalization bounds and consistency for latent-structural probit and ramp loss (2011) (64)
- Natural Language Based Inference Procedures Applied to Schubert's Steamroller (1991) (63)
- Taxonomic syntax for first order inference (1989) (62)
- Visual object detection with deformable part models (2013) (58)
- Exploiting Variable Dependency in Local Search (1997) (56)
- Boosting Using Branching Programs (2000) (56)
- Generalization Bounds for Decision Trees (2000) (55)
- An architecture for action selection in robotic soccer (2001) (51)
- New Results on Local Inference Relations (1992) (51)
- A New Meta-complexity Theorem for Bottom-Up Logic Programs (2001) (51)
- Logical Algorithms (2002) (49)
- On-road vehicle tracking using deformable object model and particle filter with integrated likelihoods (2010) (48)
- Screamer: A Portable Efficient Implementation of Nondeterministic Common LISP (1993) (48)
- Walther Recursion (1996) (47)
- Tarskian set constraints (1996) (45)
- PAC-Bayesian approach for minimization of phoneme error rate (2011) (42)
- Evidence Sentence Extraction for Machine Reading Comprehension (2019) (42)
- Graph-based 2D road representation of 3D point clouds for intelligent vehicles (2011) (37)
- Boolean classes (1986) (36)
- ATTac-2001: A Learning, Autonomous Bidding Agent (2002) (36)
- Lane detection and tracking in challenging environments based on a weighted graph and integrated cues (2010) (34)
- Computable Shell Decomposition Bounds (2000) (33)
- Convex max-product algorithms for continuous MRFs with applications to protein folding (2011) (32)
- Polynomial-time computation via local inference relations (2000) (32)
- Stereovision-based road boundary detection for intelligent vehicles in challenging scenarios (2009) (27)
- Vision-based vehicle detection for nighttime with discriminately trained mixture of weighted deformable part models (2011) (26)
- Unsupervised Learning of Stereo Vision with Monocular Depth Cues (2009) (26)
- Broad Context Language Modeling as Reading Comprehension (2016) (25)
- Likelihood, probability, and knowledge 1 (1989) (24)
- Partial Order Backtracking (1993) (21)
- Grammar Rewriting (1991) (21)
- Comparing Policy-Gradient Algorithms (2001) (21)
- The Horn mu-calculus (1998) (19)
- On the complexity of set-based analysis (1997) (18)
- Non-Deterministic Lisp with Dependency-directed Backtracking (1987) (18)
- A logical algorithm for ML type inference (2003) (18)
- Information-Theoretic Segmentation by Inpainting Error Maximization (2020) (16)
- Likelihood, probability, and knowledge (1984) (15)
- A sound (and complete) model of contracts (2004) (14)
- Alpha-Beta-Conspiracy Search (2002) (14)
- Proceedings of the 17th International Conference on Automated Deduction (2000) (14)
- Automated Inductive Reasoning about Logic Programs (1988) (14)
- Random-World Semantics and Syntactic Independence for Expressive Languages (2008) (14)
- Embedded multi-sensors objects detection and tracking for urban autonomous driving (2011) (12)
- Direct Error Rate Minimization of Hidden Markov Models (2011) (12)
- The Use of Equality in Deduction and Knowledge Representation (1980) (12)
- Walksat in the 2004 SAT Competition (2004) (12)
- Discriminative Metric Learning by Neighborhood Gerrymandering (2014) (12)
- Emergent Predication Structure in Hidden State Vectors of Neural Readers (2016) (11)
- Margin Semi-Supervised Learning for Structured Variables (2005) (11)
- Domain-Independent Dominance of Adaptive Methods (2019) (11)
- Inferring Recursive Data Types (1996) (10)
- Keeping the Ball from CMUnited-99 (2000) (10)
- Learning theory and language modeling (2003) (10)
- Adaptive non-planar road detection and tracking in challenging environments using segmentation-based Markov Random Field (2011) (10)
- Vehicle detection and tracking at nighttime for urban autonomous driving (2011) (9)
- Three Cuts for Accelerated Interval Propagation (1995) (9)
- A vision system for autonomous vehicle navigation in challenging traffic scenes using integrated cues (2010) (8)
- MRF-based road detection with unsupervised learning for autonomous driving in changing environments (2010) (8)
- Nonexpressibility of fairness and signaling (1988) (8)
- A Proof of Strong Normalization of F_2, F_omega and Beyond (1995) (8)
- Boosting with Multi-Way Branching in Decision Trees (1999) (7)
- Emergent Logical Structure in Vector Representations of Neural Readers (2016) (7)
- ATT-CMUnited-2000: Third Place Finisher in the RoboCup-2000 Simulator League (2000) (7)
- Observations on Cognitive Judgments (1991) (7)
- Algebraic Approximations (1981) (6)
- Large margin methods for structured classification : Exponentiated gradient algorithms and PAC-Bayesian generalization bounds (2004) (6)
- Meta-complexity Theorems: Talk Abstract (2000) (6)
- On-The-Fly Information Retrieval Augmentation for Language Models (2020) (6)
- Proceedings of the Twenty-Fourth Conference on Uncertainty in Artificial Intelligence (2008) (2012) (5)
- Mathematical knowledge representation (1991) (4)
- Hierarchical road understanding for intelligent vehicles based on sensor fusion (2011) (4)
- Structure and motion from road-driving stereo sequences (2010) (4)
- The rise of nonlinear mathematical programming (1996) (4)
- Computational Challenges in Propositional Reasoning and Search (2007) (3)
- Joint RTA-TLCA Invited Talk: A Logical Algorithm for ML Type Inference (2003) (3)
- 30th International Conference on Machine Learning : (ICML 2013) : Atlanta, Georgia, USA, 16- June 2013 (2013) (3)
- Lifting Transformations (1991) (2)
- Symmetric Set Theory, a General Theory of Isomorphism, Abstraction, and Representation. (1983) (2)
- Particle-Based Belief Propagation for Structure from Motion and Dense Stereo Vision with Unknown Camera Constraints (2008) (2)
- Lower Bounds for the Lengths of Refutations (1993) (2)
- Modelling local and global phenomena with sparse Gaussian processes (2008) (2)
- LSVM-MDPM Release 4 Notes (2010) (2)
- Morphoid Type Theory (2014) (2)
- Implementation and Abstraction in Mathematics (2014) (2)
- Discriminative Latent Variable Models for Object Detection (2010) (2)
- World-Modeling vs. World-Axiomatizing (1999) (1)
- Emergent Predication Structure in Vector Representations of Neural Readers (2017) (1)
- Walksat in the SAT04 Competition (2004) (1)
- MathZero, The Classification Problem, and Set-Theoretic Type Theory (2020) (1)
- Convex Max-Product over Compact Sets for Protein Folding (2011) (1)
- Inference using Formal Logics (2006) (0)
- Automatically Inferring Properties of Computer Programs Automatically Inferring Properties of Computer Programs (2012) (0)
- Uncertainty in artificial intelligence : proceedings of the Twenty-fourth Conference (2008) : July 9-12, 2008, Helsinki, Finland (2008) (0)
- Socratic sequent systems (1991) (0)
- Bottom up logic programming as an inference tool (1993) (0)
- Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings (2000) (0)
- Dependent Type Theory as Related to the Bourbaki Notions of Structure and Isomorphism (2021) (0)
- Solving Uninterpreted Equations with Context Free Expression Grammars (1983) (0)
- Tractable Inference Relations (1991) (0)
- Language Based Inference Procedures Applied to N 00014-85-K-0124 (0)
- Isomorphism Revisited (2019) (0)
- On the Mathematics of Diffusion Models (2023) (0)
- Extensions to the Estimation Calculus (2018) (0)
- Logic Programming and Automated Reasoning, 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings (1999) (0)
- Robust Road Environment Perception for Navigation in Challenging Scenarios (2014) (0)
This paper list is powered by the following services:
