Sciweavers

622 search results - page 57 / 125
» Interactive geometry remeshing
Sort
View
CADE
2004
Springer
14 years 8 months ago
Dr.Doodle: A Diagrammatic Theorem Prover
This paper presents the Dr.Doodle system, an interactive theorem prover that uses diagrammatic representations. The assumption underlying this project is that, for some domains (pr...
Daniel Winterstein, Alan Bundy, Corin A. Gurr
ISVC
2007
Springer
14 years 2 months ago
Simulation of Flexible Tubes in VR
Abstract. We present a Virtual Reality application enabling interactive, physically correct simulation of tube-like flexible objects. Our objective was to describe flexible objec...
Florian Mannuß, André Hinkenjann, Ger...
HAPTICS
2005
IEEE
14 years 1 months ago
Dynamic Primitive Caching for Haptic Rendering of Large-Scale Models
In this paper we present a software approach to managing complexity for haptic rendering of large-scale geometric models, consisting of tens to hundreds of thousands of distinct g...
Mashhuda Glencross, Roger J. Hubbold, Ben Lyons
ACMACE
2005
ACM
14 years 1 months ago
D4MD: deformation system for a vehicle simulation game
This paper presents a hybrid geometrical-physical, plastic deformation technique applicable for solids, in the context of a car simulation game. This technique doesn’t aim to be...
Tiago Rodrigues, Rui Pires, José Miguel Sal...
VR
2002
IEEE
201views Virtual Reality» more  VR 2002»
14 years 28 days ago
Tinmith-Hand: Unified User Interface Technology for Mobile Outdoor Augmented Reality and Indoor Virtual Reality
This paper presents a unified user interface technology, using 3D interaction techniques, constructive solid geometry, and a glove based menuing system, known as TinmithHand, to s...
Wayne Piekarski, Bruce H. Thomas