sign in · help · news · about ·

BibSonomy :: author :: Hofmann ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(1063)

<< < 1 | 2 | 3 > >>

Kernel methods in machine learning
Thomas Hofmann, Bernhard Schölkopf, and Alexander J. Smola Annals of Statistics 36(3):1171--1220 (2008)
to kernel-methods learning machine by sidyr and 2 other users on Feb 4, 2012, 10:41 AM
BibTeX
DMAN: a Java tool for analysis of multi-well differential scanning fluorimetry experiments.
Conan K. Wang, Saroja K. Weeratunga, Chris M. Pacheco, and Andreas Hofmann Bioinformatics 28(3):439-440 (2012)
to dblp by dblp on Jan 30, 2012, 12:00 AM
URL | BibTeX
Competitive learning algorithms for robust vector quantization.
Thomas Hofmann, and Joachim M. Buhmann IEEE Transactions on Signal Processing 46(6):1665-1675 (1998)
to dblp by dblp on Jan 29, 2012, 12:00 AM
URL | BibTeX
Schema-Guided Inductive Functional Programming - Through Automatic Detection of Type Morphisms.
Martin Hofmann KI 26(1):83-86 (2012)
to dblp by dblp on Jan 27, 2012, 12:00 AM
URL | BibTeX
Multi-view 3D Human Pose Estimation in Complex Environment.
M. Hofmann, and D. M. Gavrila International Journal of Computer Vision 96(1):103-124 (2012)
to dblp by dblp on Jan 27, 2012, 12:00 AM
URL | BibTeX
Edit lenses.
Martin Hofmann, Benjamin C. Pierce, and Daniel Wagner POPL, page 495-508. ACM, (2012)
to dblp by dblp on Jan 27, 2012, 12:00 AM
URL | BibTeX
A Holistic Software Engineering Method for Service-Oriented Application Landscape Development.
Andrea Baumann, Gregor Engels, Alexander Hofmann, Stefan Sauer, and Johannes Willkomm PRET, volume 28 of Lecture Notes in Business Information Processing, page 1-17. Springer, (2009)
to dblp by dblp on Jan 27, 2012, 12:00 AM
URL | BibTeX
The Groupoid Model Refutes Uniqueness of Identity Proofs
Martin Hofmann, and Thomas Streicher LICS, page 208-212. IEEE Computer Society, (1994)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Linear Types and Non-Size-Increasing Polynomial Time Computation.
Martin Hofmann LICS, page 464-473. IEEE Computer Society, (1999)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Semantical Analysis of Higher-Order Abstract Syntax.
Martin Hofmann LICS, page 204-213. IEEE Computer Society, (1999)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Normalization by Evaluation for Typed Lambda Calculus with Coproducts.
Thorsten Altenkirch, Peter Dybjer, Martin Hofmann, and Philip J. Scott LICS, page 303-310. IEEE Computer Society, (2001)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Continuation Models are Universal for Lambda-Mu-Calculus.
Martin Hofmann, and Thomas Streicher LICS, page 387-395. IEEE Computer Society, (1997)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Reduction-Free Normalisation for a Polymorphic System.
Thorsten Altenkirch, Martin Hofmann, and Thomas Streicher LICS, page 98-106. IEEE Computer Society, (1996)
to dblp by dblp and 1 other user on Jan 20, 2012, 12:00 AM
URL | BibTeX
Proof-Theoretic Approach to Description-Logic.
Martin Hofmann LICS, page 229-237. IEEE Computer Society, (2005)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Pointer Programs and Undirected Reachability.
Martin Hofmann, and Ulrich Schöpp LICS, page 133-142. IEEE Computer Society, (2009)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Scientific writing and communication : papers, proposals, and presentations
Angelika H. Hofmann Oxford University Press, New York, (2010)
to communication scientific writing by ulger on Jan 18, 2012, 12:27 PM
URL | BibTeX
Die europäische Folgenabschätzung in der Umweltpolitik
Ekkehard Hofmann Zeitschrift für Umweltrecht - das Forum für Umwelt- und Planungsrecht (2006)
to imported by g1_reklan on Jan 18, 2012, 11:59 AM
BibTeX
Evaluation of state-of-the-art hardware architectures for fast cone-beam CT reconstruction.
Holger Scherl, Markus Kowarschik, Hannes G. Hofmann, Benjamin Keck, and Joachim Hornegger Parallel Computing 38(3):111-124 (2012)
to dblp by dblp on Jan 13, 2012, 12:00 AM
URL | BibTeX
Schulabbrüche und Ausbildungslosigkeit: Strategien und Methoden zur Prävention
Irene Hofmann-Lun, Andrea Michel, Ulrike Richter, and Elke Schreiber VS Verlag für Sozialwissenschaften, Wiesbaden, (2007)
to Prävention Schulabbruch Übergang by profess on Jan 10, 2012, 11:19 AM
BibTeX
A New Time Model for the Specification, Design, Validation and Synthesis of Embedded Real-Time Systems.
Ralf Münzenberger, Matthias Dörfel, Frank Slomka, and Richard Hofmann DATE, page 1095. IEEE Computer Society, (2002)
to dblp by dblp on Jan 6, 2012, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100