Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
McAllester, David
57  Ergebnisse:
Artikel (Online) X
Personensuche X
?
1

Visual object detection with deformable part models:

Felzenszwalb, Pedro ; Girshick, Ross ; McAllester, David.
Communications of the ACM.  56 (2013)  9 - p. 97-105 , 2013
Link: https://doi.org/10.1145/..
 
?
2

Visual object detection with deformable part models:

Felzenszwalb, Pedro ; Girshick, Ross ; McAllester, David.
Communications of the ACM.  56 (2013)  9 - p. 97-105 , 2013
Link: https://dl.acm.org/doi/1..
 
?
3

Robust Road Detection and Tracking in Challenging Scenarios..:

Guo, Chunzhao ; Mita, Seiichi ; McAllester, David
IEEE Transactions on Intelligent Transportation Systems.  13 (2012)  3 - p. 1338-1354 , 2012
Link: https://doi.org/10.1109/..
 
?
4

Case-factor diagrams for structured probabilistic modeling:

McAllester, David ; Collins, Michael ; Pereira, Fernando
Journal of Computer and System Sciences.  74 (2008)  1 - p. 84-96 , 2008
Link: https://doi.org/10.1016/..
 
?
5

Sound and complete models of contracts:

BLUME, MATTHIAS ; McALLESTER, DAVID
Journal of Functional Programming.  16 (2006)  4-5 - p. 375-414 , 2006
Link: https://doi.org/10.1017/..
 
?
6

Reminiscences of the Early Days:

McAllester, David
Ethnomusicology.  50 (2006)  2 - p. 199-203 , 2006
Link: https://www.jstor.org/st..
 
?
7

A sound (and complete) model of contracts:

Blume, Matthias ; McAllester, David
ACM SIGPLAN Notices.  39 (2004)  9 - p. 189-200 , 2004
Link: https://doi.org/10.1145/..
 
?
8

Polynomial-time computation via local inference relations:

Givan, Robert ; Mcallester, David
ACM Transactions on Computational Logic (TOCL).  3 (2002)  4 - p. 521-541 , 2002
Link: https://dl.acm.org/doi/1..
 
?
9

Boosting Using Branching Programs:

Mansour, Yishay ; McAllester, David
Journal of Computer and System Sciences.  64 (2002)  1 - p. 103-112 , 2002
Link: https://doi.org/10.1006/..
 
?
10

On the complexity analysis of static analyses:

McAllester, David
Journal of the ACM.  49 (2002)  4 - p. 512-537 , 2002
Link: https://doi.org/10.1145/..
 
?
11

Tarskian Set Constraints:

Givan, Robert ; McAllester, David ; Witty, Carl.
Information and Computation.  174 (2002)  2 - p. 105-131 , 2002
Link: https://doi.org/10.1006/..
 
?
12

Polynomial-time computation via local inference relations:

Givan, Robert ; Mcallester, David
ACM Transactions on Computational Logic.  3 (2002)  4 - p. 521-541 , 2002
Link: https://doi.org/10.1145/..
 
?
13

On the complexity analysis of static analyses:

McAllester, David
Journal of the ACM (JACM).  49 (2002)  4 - p. 512-537 , 2002
Link: https://dl.acm.org/doi/1..
 
?
14

An indexed model of recursive types for foundational proof-..:

Appel, Andrew W. ; McAllester, David
ACM Transactions on Programming Languages and Systems.  23 (2001)  5 - p. 657-683 , 2001
Link: https://doi.org/10.1145/..
 
?
15

An indexed model of recursive types for foundational proof-..:

Appel, Andrew W. ; McAllester, David
ACM Transactions on Programming Languages and Systems (TOPLAS).  23 (2001)  5 - p. 657-683 , 2001
Link: https://dl.acm.org/doi/1..
 
1-15