Sciweavers

1223 search results - page 167 / 245
» Semantic Visualization and Meaning Computation
Sort
View
DAGM
2006
Springer
15 years 3 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 1 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 6 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
PEPM
2009
ACM
15 years 8 months 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 4 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...