Sciweavers

1098 search results - page 52 / 220
» Interval analysis for computer graphics
Sort
View
144
Voted
CAV
2010
Springer
227views Hardware» more  CAV 2010»
15 years 1 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
Alexandre Donzé
117
Voted
PG
2007
IEEE
15 years 10 months ago
The Mental Canvas: A Tool for Conceptual Architectural Design and Analysis
We describe a computer graphics system that supports conceptual architectural design and analysis. We use as a starting point the traditional sketchbook drawings that architects u...
Julie Dorsey, Songhua Xu, Gabe Smedresman, Holly E...
CHI
2002
ACM
16 years 4 months ago
Movement model, hits distribution and learning in virtual keyboarding
In a ten-session experiment, six participants practiced typing with an expanding rehearsal method on an optimized virtual keyboard. Based on a large amount of in-situ performance ...
Shumin Zhai, Alison E. Sue, Johnny Accot
116
Voted
CGF
2008
121views more  CGF 2008»
15 years 3 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
122
Voted
DCC
2009
IEEE
16 years 4 months ago
Compressive-Projection Principal Component Analysis and the First Eigenvector
An analysis is presented that extends existing Rayleigh-Ritz theory to the special case of highly eccentric distributions. Specifically, a bound on the angle between the first Rit...
James E. Fowler