Sciweavers

143 search results - page 18 / 29
» Type Fusion
Sort
View
GI
2009
Springer
14 years 9 months ago
Visualization of the Influence of SDF on the TMA Solution Space
: In [SH08] we introduced a method for the calculation and visualization of the whole TMA solution space. So, not only the best TMA solution, but also other solution areas with hig...
Ulrich Steimel
TLCA
2009
Springer
15 years 6 months ago
Parametricity for Haskell with Imprecise Error Semantics
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...
Florian Stenger, Janis Voigtländer
ICFP
2010
ACM
15 years 25 days ago
Regular, shape-polymorphic, parallel arrays in Haskell
We present a novel approach to regular, multi-dimensional arrays in Haskell. The main highlights of our approach are that it (1) is purely functional, (2) supports reuse through s...
Gabriele Keller, Manuel M. T. Chakravarty, Roman L...
MIR
2010
ACM
325views Multimedia» more  MIR 2010»
15 years 1 months ago
A classification-driven similarity matching framework for retrieval of biomedical images
This paper presents a classification-driven biomedical image retrieval system to bride the semantic gap by transforming image features to their global categories at different gran...
Md. Mahmudur Rahman, Sameer Antani, George R. Thom...
3DPVT
2006
IEEE
204views Visualization» more  3DPVT 2006»
15 years 5 months ago
Multimodal 3D Shape Recovery from Texture, Silhouette and Shadow Information
Recent efforts attempt to combine together information of different passive methods. Critical issues in this research are the choice of data and how to combine such data in order ...
Luca Ballan, Guido Maria Cortelazzo