3984 search results - page 592 / 797 » A Model-Driven Transformation Method |
138
Voted
VMCAI
2010
Springer
16 years 2 months ago
2010
Springer
We present a loop property generation method for loops iterating over multi-dimensional arrays. When used on matrices, our method is able to infer their shapes (also called types),...
138
click to vote
ICCAD
2007
IEEE
16 years 1 months ago
2007
IEEE
—As the 193nm lithography is likely to be used for 45nm and even 32nm processes, much more stringent requirement will be posed on Optical Proximity Correction (OPC) technologies....
149
click to vote
CHI
2010
ACM
15 years 12 months ago
2010
ACM
We present results from an experiment that studied the information search behavior of younger and older adults in a medical decision-making task. To study how different combinatio...
166
click to vote
SI3D
2010
ACM
15 years 12 months ago
2010
ACM
In this paper a method for estimating a rigid skeleton, including skinning weights, skeleton connectivity, and joint positions, given a sparse set of example poses is presented. I...
122
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
Audio coding at low bitrates suffers from artifacts due to spectrum truncation. Typical audio codecs code multi-channel sources using transforms across the channels to remove redu...