8587 search results - page 12 / 1718 » Interactive dynamic abstraction |
CSL
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...
TVCG
2008
13 years 7 months ago
2008
Abstract-- We propose an acceleration scheme for dynamic collision detection at interactive rates. We use a tight bounding volume representation that offers fast update rates and t...
CHI
2005
ACM
14 years 8 months ago
2005
ACM
Although information visualization (infovis) technologies have proven indispensable tools for making sense of complex data, wide-spread deployment has yet to take hold, as success...
BC
2005
13 years 7 months ago
2005
Abstract We model the dynamical behavior of the neuropil, the densely interconnected neural tissue in the cortex, using neuropercolation approach. Neuropercolation generalizes phas...
ESORICS
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. This paper explores the problem of tracking information flow in dynamic tree structures. Motivated by the problem of manipulating the Document Object Model (DOM) trees by...