Springer, 0-387

Central database

Publisher

  1. Published

    Robust Pose Estimation using the SwissRanger SR-3000 Camera. / Gudmundsson, Sigurjon Arni; Larsen, Rasmus; Ersbøll, Bjarne Kjær.

    Lecture Notes in Computer Science: Proceedings of the 15th Scandinavian Conference on Image Analysis. ed. / Bjarne Kjær Ersbøll; Kim Steenstrup Pedersen. Vol. 4522 Berlin / Heidelberg : Springer, 2007. p. 968-975.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2007

  2. Published

    A theory of Duration Calculus with applications. / Hansen, Michael Reichhardt; Hung, Dang Van.

    Domain Modelling and Duration Calculus. ed. / Chris W. George; Zhiming Liu; Jim Woodcock. Springer, 2007. p. 119-176 (Lecture Notes in Computer Science; No. 4710).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2007

  3. Published

    Deciding an Interval Logic with Accumulated Durations. / Hansen, Michael Reichhardt; Fränzle, Martin.

    Lecture Notes in Computer Science. Vol. 4424 Springer, 2007. p. 201-215.

    Publication: Research - peer-reviewBook chapter – Annual report year: 2007

  4. Published

    Large-scale methods in image deblurring. / Hansen, Per Christian (Invited author).

    Applied Parallel Computing: State of the Art in Scientific Computing. ed. / Bo Kågström; Erik Elmroth; Jack J. Dongarra; Jerzy Wasniewski. Springer, 2007. p. 24-35 (Lecture Notes in Computer Science; No. 4699).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2007

  5. Published

    Robust Pseudo-Hierarchical Support Vector Clustering. / Hansen, Michael Sass; Sjöstrand, Karl; Olafsdóttir, Hildur; Larsson, Henrik B. W.; Stegmann, Mikkel Bille; Larsen, Rasmus; Ersbøll, Bjarne Kjær (Editor); Heikkilä, Janne (Editor); Austvoll, Ivar (Editor); Nyström, Ingela (Editor).

    Scandinavian Conference on Image Analysis 2007. Springer, 2007.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2007

  6. Published

    Semantics and verification of a language for modelling hardware architectures. / Hansen, Michael Reichhardt; Madsen, Jan; Brekling, Aske Wiid.

    Formal Methods and Hybrid Real-Time Systems. ed. / Cliff B. Jones; Zhiming Liu; Jim Woodcock. Springer, 2007. p. 300-319 (Lecture Notes in Computer Science; No. 4700).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2007

  7. Published

    Surface-to-surface registration using level sets. / Hansen, Mads Fogtmann; Erbou, Søren G.; Vester-Christensen, Martin; Larsen, Rasmus; Ersbøll, Bjarne Kjær; Christensen, Lars Bager.

    Lecture Notes in Computer Science: Scandinavian Conference on Image Analysis. ed. / Bjarne Kjær Ersbøll; Kim Steenstrup Pedersen. Vol. 4522 Berlin / Heidelberg : Springer, 2007. p. 780-788.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2007

  8. Published

    Timed Traces and Strand Spaces. / Hansen, Michael Reichhardt; Sharp, Robin.

    Lecture Notes in Computer Science. Vol. 4649 Springer, 2007. p. 373-386.

    Publication: Research - peer-reviewBook chapter – Annual report year: 2007

  9. Published

    Constrained ICA for the Analysis of High Stimulus Rate Auditory Evoked Potentials. / Harte, James.

    7th International Conference on Independent Component Analysis and Signal Separation. Berlin : Springer, 2007. p. 609-616.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2007

  10. Published

    A Domain-oriented, Model-based Approach for Construction and Verification of Railway Control Systems. / Haxthausen, Anne Elisabeth (Invited author); Peleska, Jan (Invited author).

    Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner and Zhou Chaochen on Occasion of their 70th Birthdays. ed. / Cliff B. Jones; Zhiming Liu; Jim Woodcock. Springer, 2007. p. 320-348 (Lecture Notes in Computer Science; No. 4700).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2007

Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word