Sciweavers

1237 search results - page 150 / 248
» Abstract shade trees
Sort
View
ITA
2007
153views Communications» more  ITA 2007»
13 years 10 months ago
Deciding inclusion of set constants over infinite non-strict data structures
Abstract. Various static analyses of functional programming languages that permit infinite data structures make use of set constants like Top, Inf, and Bot, denoting all terms, al...
Manfred Schmidt-Schauß, David Sabel, Marko S...
TMI
2008
108views more  TMI 2008»
13 years 10 months ago
A Comprehensive Approach to the Analysis of Contrast Enhanced Cardiac MR Images
Abstract--Current magnetic resonance imaging (MRI) technology allows the determination of patient-individual coronary tree structure, detection of infarctions, and assessment of my...
Anja Hennemuth, A. Seeger, Ola Friman, S. Miller, ...
JMIV
2007
145views more  JMIV 2007»
13 years 10 months ago
Level Lines Selection with Variational Models for Segmentation and Encoding
Abstract. This paper discusses the interest of the Tree of Shapes of an image as a region oriented image representation. The Tree of Shapes offers a compact and structured represen...
Coloma Ballester, Vicent Caselles, Laura Igual, Ll...
TWC
2008
100views more  TWC 2008»
13 years 10 months ago
Generalized feedback detection for spatial multiplexing multi-antenna systems
Abstract-- We present a unified detection framework for spatial multiplexing multiple-input multiple-output (MIMO) systems by generalizing Heller's classical feedback decoding...
Tao Cui, Chintha Tellambura
CONSTRAINTS
2004
129views more  CONSTRAINTS 2004»
13 years 10 months ago
CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming
Abstract. CLPGUI is a generic graphical user interface for visualizing and controlling the execution of constraint logic programs. CLPGUI has been designed to be used in different ...
François Fages, Sylvain Soliman, Rém...