Sciweavers

622 search results - page 61 / 125
» Interactive geometry remeshing
Sort
View
SIGGRAPH
2010
ACM
14 years 16 days ago
Illustrating how mechanical assemblies work
How things work visualizations use a variety of visual techniques to depict the operation of complex mechanical assemblies. We present an automated approach for generating such vi...
Niloy J. Mitra, Yong-Liang Yang, Dong-Ming Yan, Wi...
VRST
2000
ACM
14 years 12 days ago
A framework for rapid evaluation of prototypes with augmented reality
In this paper we present a new framework in Augmented Reality context for rapid evaluation of prototypes before manufacture. The design of such prototypes is a time consuming proc...
Selim Balcisoy, Marcelo Kallmann, Pascal Fua, Dani...
DASFAA
2004
IEEE
86views Database» more  DASFAA 2004»
13 years 11 months ago
Concurrent Updating of Large Spatial Objects
The update transactions to be executed in spatial databases have been usually known as interactive and long duration works. When a spatial object has a very large geometry of which...
Youngduk Seo, Donghyun Kim, Bonghee Hong
WSCG
2003
143views more  WSCG 2003»
13 years 9 months ago
Rendering Large (Volume) Datasets: A new Parallel Visualization System
In this paper we describe a basis for a system that is able to compute actual scientific and realistic visualization methods in parallel. It is capable to integrate easily in mod...
Sascha Schneider, Thorsten May, Michael Schmidt
JAR
2008
95views more  JAR 2008»
13 years 8 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