E-LIB Suche - Ergebnisse für: McAllester, David

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

Link: https://doi.org/10.1109/..

2

Robust Road Environment Perception for Navigation in Challe..:

, In: Advances in Intelligent Vehicles,

Guo, Chunzhao ; Mita, Seiichi ; McAllester, David - p. 225-258 , 2014

Link: https://doi.org/10.1016/..

3

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..

4

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/..

5

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/..

6

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/..

7

The Communication Complexity of Correlation:

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

Harsha, Prahladh ; Jain, Rahul ; McAllester, David. - p. None , 2007

Link: https://doi.org/10.1109/..

8

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/..

9

Reminiscences of the Early Days:

McAllester, David
Ethnomusicology. 50 (2006) 2 - p. 199-203 , 2006

Link: https://www.jstor.org/st..

10

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/..

11

Case-factor diagrams for structured probabilistic modeling:

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

McAllester, David ; Collins, Michael ; Pereira, Fernando - p. 382-391 , 2004

Link: https://dl.acm.org/doi/1..

12

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

Link: https://dl.acm.org/doi/1..

13

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/..

14

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/..

15

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/..