Sciweavers

1053 search results - page 127 / 211
» Oriented Projective Geometry
Sort
View
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,...
AAAI
2006
15 years 1 months ago
Ontology Based Semantic Modeling for Chinese Ancient Architectures
Modeling complex architectures is quite challenging. We introduce a novel intelligent system, which can generate semi-style or semi-structure Chinese ancient architectures automat...
Yong Liu, Congfu Xu, Qiong Zhang, Yunhe Pan
112
Voted
DICTA
2003
15 years 1 months ago
Computing Image-Based Reprojection Error on Graphics Hardware
This paper describes a novel approach to the problem of recovering information from an image set by comparing the radiance of hypothesised point correspondences. This method is app...
John W. Bastian, Anton van den Hengel
GRC
2008
IEEE
15 years 29 days ago
Neighborhood Smoothing Embedding for Noisy Manifold Learning
Manifold learning can discover the structure of high dimensional data and provides understanding of multidimensional patterns by preserving the local geometric characteristics. Ho...
Guisheng Chen, Junsong Yin, Deyi Li
JAR
2008
95views more  JAR 2008»
14 years 12 months ago
On the Mechanization of the Proof of Hessenberg's Theorem in Coherent Logic
Abstract. We propose to combine interactive proof construction with proof automation for a fragment of first-order logic called Coherent Logic (CL). CL allows enough existential qu...
Marc Bezem, Dimitri Hendriks