McAllester, David
15  Ergebnisse:
Personensuche X
?
1

Information-Theoretic Segmentation by Inpainting Error Maxi..:

, In: 2021 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR),
Savarese, Pedro ; Kim, Sunnie S. Y. ; Maire, Michael.. - p. 4028-4038 , 2021
 
?
3

The Communication Complexity of Correlation:

, In: Twenty-Second Annual IEEE Conference on Computational Complexity (CCC'07),
 
?
4

A sound (and complete) model of contracts:

, In: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming,
Blume, Matthias ; McAllester, David - p. 189-200 , 2004
 
?
5

Case-factor diagrams for structured probabilistic modeling:

, In: Proceedings of the 20th conference on Uncertainty in artificial intelligence,
 
?
6

An architecture for action selection in robotic soccer:

, In: Proceedings of the fifth international conference on Autonomous agents,
Stone, Peter ; McAllester, David - p. 316-323 , 2001
 
?
7

Resolution Theorem Proving:

, In: Handbook of Automated Reasoning,
 
?
8

Hardening soft information sources:

, In: Proceedings of the sixth ACM SIGKDD international conference on Knowledge discovery and data mining,
 
?
9

PAC-Bayesian model averaging:

, In: Proceedings of the twelfth annual conference on Computational learning theory,
McAllester, David A. - p. 164-170 , 1999
 
?
10

Some PAC-Bayesian theorems:

, In: Proceedings of the eleventh annual conference on Computational learning theory,
McAllester, David A. - p. 230-234 , 1998
 
?
11

Linear-time subtransitive control flow analysis:

, In: Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation,
Heintze, Nevin ; McAllester, David - p. 261-272 , 1997
 
?
12

On the complexity of set-based analysis:

, In: Proceedings of the second ACM SIGPLAN international conference on Functional programming,
Heintze, Nevin ; McAllester, David - p. 150-163 , 1997
 
?
13

Boolean classes:

, In: Conference proceedings on Object-oriented programming systems, languages and applications,
McAllester, David ; Zabih, Ramin - p. 417-423 , 1986
 
?
14

The First Snake Song:

, In: Theory and Practice,
McALLESTER, DAVID P. - p. 1-28 , 1980
 
?
 
1-15