17450 search results - page 3148 / 3490 » Numerical Methods with Applications |
209
click to vote
CJ
2010
15 years 4 months ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
209
click to vote
CODES
2010
IEEE
15 years 4 months ago
2010
IEEE
In high-level synthesis, pipelined designs are often restricted by the number of memory banks available to the synthesis system. Using multiple memory banks can improve the perfor...
208
click to vote
CVPR
2010
IEEE
15 years 4 months ago
2010
IEEE
We apply the concept of natural gradients to deformable registration. The motivation stems from the lack of physical interpretation for gradients of image-based difference measure...
188
click to vote
ENTCS
2010
15 years 4 months ago
2010
Several complex biological phenomena are to be modelled in terms of a large and dynamic network of compartments, where the interplay between inter-compartment and intra-compartmen...
177
click to vote
ICMI
2010
Springer
15 years 4 months ago
2010
Springer
We present a novel approach to speech-driven facial animation using a non-parametric switching state space model based on Gaussian processes. The model is an extension of the shar...