Sciweavers

595 search results - page 70 / 119
» Session 7: Demonstrations
Sort
View
CHI
2004
ACM
15 years 10 months ago
Gummi: a bendable computer
Gummi is an interaction technique and device concept based on physical deformation of a handheld device. The device consists of several layers of flexible electronic components, i...
Carsten Schwesig, Ivan Poupyrev, Eijiro Mori
CADE
2006
Springer
15 years 10 months ago
Automatic Construction and Verification of Isotopy Invariants
Abstract. We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Is...
Volker Sorge, Andreas Meier, Roy L. McCasland, Sim...
I3D
2010
ACM
15 years 7 months ago
Radiance Scaling for Versatile Surface Enhancement
1 We present a novel technique called Radiance Scaling for the depic-2 tion of surface shape through shading. It adjusts reflected light in-3 tensities in a way dependent on both s...
Romain Vergne, Romain Pacanowski, Pascal Barla, Xa...
ICCAD
2002
IEEE
108views Hardware» more  ICCAD 2002»
15 years 6 months ago
A precorrected-FFT method for simulating on-chip inductance
The simulation of on-chip inductance using PEEC-based circuit analysis methods often requires the solution of a subproblem where an extracted inductance matrix must be multiplied ...
Haitian Hu, David Blaauw, Vladimir Zolotov, Kaushi...
SAC
2010
ACM
15 years 4 months ago
Hypothesis generation and ranking based on event similarities
Accelerated by the technological advances in the domain, the size of the biomedical literature has been growing rapidly. As a result, it is not feasible for individual researchers...
Taiki Miyanishi, Kazuhiro Seki, Kuniaki Uehara