Sciweavers

32 search results - page 4 / 7
» Modeling plasma-wall interactions in First Wall-Limiter geom...
Sort
View
CSL
2008
Springer
13 years 10 months ago
Quantitative Game Semantics for Linear Logic
We present a game-based semantic framework in which the time complexity of any IMELL proof can be read out of its interpretation. This gives a compositional view of the geometry of...
Ugo Dal Lago, Olivier Laurent
TOG
2010
117views more  TOG 2010»
13 years 3 months ago
Stable inverse dynamic curves
2d animation is a traditional but fascinating domain that has recently regained popularity both in animated movies and video games. This paper introduces a method for automaticall...
Alexandre Derouet-Jourdan, Florence Bertails-Desco...
CGF
2008
121views more  CGF 2008»
13 years 8 months ago
Knitting a 3D Model
A knitted animal is made of a closed surface consisting of several knitted patches knitted out of yarn and stuffed with cotton (Fig. 1). We introduce a system to create a knitting...
Yuki Igarashi, Takeo Igarashi, Hiromasa Suzuki
CGA
2008
13 years 8 months ago
Virtual Classroom Extension for Effective Distance Education
We present the design, implementation, and initial results of a system for remote lecture attendance based on extending on-campus classrooms to accommodate remotely located studen...
Radu Dondera, Chun Jia, Voicu Popescu, Cristina Ni...
VIS
2007
IEEE
181views Visualization» more  VIS 2007»
14 years 9 months ago
Shadow-Driven 4D Haptic Visualization
Just as we can work with two-dimensional floor plans to communicate 3D architectural design, we can exploit reduced-dimension shadows to manipulate the higher-dimensional objects ...
Hui Zhang, Andrew J. Hanson