451 search results - page 31 / 91 » A Categorical Model for the Geometry of Interaction |
128
Voted
SMA
2008
ACM
15 years 21 days ago
2008
ACM
We present an alternative approach to standard geometric shape editing using physically-based simulation. With our technique, the user can deform complex objects in real-time. The...
100
Voted
ICIP
1994
IEEE
16 years 2 months ago
1994
IEEE
In this paper, we develop a Bayesian feedback method for incorporating global structure into prior models for binocular stereopsis. Since most stereo scenes contain either backgro...
119
Voted
CSL
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. Milner introduced action calculi as a framework for investigating models of interactive behaviour. We present a type-theoretic account of action calculi using the proposi...
139
Voted
SI3D
2003
ACM
15 years 6 months ago
2003
ACM
: We present occlusion-switches for interactive visibility culling in complex 3D environments. An occlusionswitch consists of two GPUs (graphics processing units) and each GPU is u...
103
click to vote
VISUALIZATION
2005
IEEE
15 years 6 months ago
2005
IEEE
We describe a new dynamic level-of-detail (LOD) technique that allows real-time rendering of large tetrahedral meshes. Unlike approaches that require hierarchies of tetrahedra, ou...