Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren
Datenschutzerklärungen
.
X
Login
Merkliste (
0
)
Startseite
Über uns
Startseite Über uns
Neues aus der SuUB
Geschichte der SuUB
Bibliotheksprofil
Presseinformationen
Freundeskreis
Die Bibliothek in Zahlen
Ausstellungen
Projekte
Ausbildung, Praktika und Stellenangebote
Filme zur Staats- und Universitätsbibliothek Bremen
Service & Beratung
Startseite Service & Beratung
Ausleihe & Fernleihe
Rückgabe & Verlängerung
Schulungen & Führungen
Mein Bibliothekskonto
Bibliotheksausweis
Neu in der Bibliothek?
Informationsmaterialien, Formulare und Pläne zum Download
Öffnungszeiten
Lernort Bibliothek
PC, WLAN, Kopieren, Scannen, Drucken
Kataloge & Sammlungen
Startseite Kataloge & Sammlungen
Historische Sammlungen
Digitale Sammlungen
Fachinformationen
Standorte
Startseite Standorte
Zentrale
Juridicum
Bereichsbibliothek Wirtschaftswissenschaft
Bereichsbibliothek Physik / Elektrotechnik
Teilbibliothek Technik und Sozialwesen
Teilbibliothek Wirtschaft und Nautik
Teilbibliothek Musik
Teilbibliothek Kunst
Teilbibliothek Bremerhaven
Kontakt
Startseite Kontakt
Liste der Ansprechpartner
Open Access & Publizieren
Startseite Open Access & Publizieren
Literaturverwaltung
Literatur Publizieren
Open Access in Bremen
Toggle navigation
McAllester, David
57
Ergebnisse:
Artikel (Online) X
Personensuche
X
Sortierung: Relevanz
Sortierung: Jahr
?
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