Sciweavers

1223 search results - page 167 / 245
» Semantic Visualization and Meaning Computation
Sort
View
130
Voted
DAGM
2006
Springer
15 years 7 months ago
Robust Variational Segmentation of 3D Objects from Multiple Views
We propose a probabilistic formulation of 3D segmentation given a series of images from calibrated cameras. Instead of segmenting each image separately in order to build a 3D surfa...
Kalin Kolev, Thomas Brox, Daniel Cremers
DAGSTUHL
2010
15 years 4 months ago
Audio-visual Virtual Reality System for Room Acoustics
We present an audio-visual Virtual Reality display system for simulated sound fields. In addition to the room acoustic simulation by means of phonon tracing and finite element met...
Eduard Deines, Martin Hering-Bertram, Jan Mohring,...
IJON
2011
133views more  IJON 2011»
14 years 10 months ago
Relational generative topographic mapping
Abstract. The generative topographic mapping (GTM) has been proposed as a statistical model to represent high dimensional data by means of a sparse lattice of points in latent spac...
Andrej Gisbrecht, Bassam Mokbel, Barbara Hammer
143
Voted
PEPM
2009
ACM
16 years 8 days ago
Bidirectional data-flow analyses, type-systematically
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
Maria João Frade, Ando Saabas, Tarmo Uustal...
POPL
1998
ACM
15 years 7 months ago
From System F to Typed Assembly Language
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
J. Gregory Morrisett, David Walker, Karl Crary, Ne...