1145 search results - page 199 / 229 » The Correctness of an Optimized Code Generation |
VMV
2007
13 years 11 months ago
2007
We present an interactive technique for the registration of captured images of elastic and rigid body parts in which the user is given flexible control over material specific de...
CGF
2000
13 years 9 months ago
2000
This paper presents a new technique called motion balance filtering, which corrects an unbalanced motion to a balanced one while preserving the original motion characteristics as ...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Singular Value Decomposition (and Principal Component Analysis) is one of the most widely used techniques for dimensionality reduction: successful and efficiently computable, it ...
DAC
2012
ACM
12 years 10 days ago
2012
ACM
Loop pipelining is a critical transformation in behavioral synthesis. It is crucial to producing hardware designs with acceptable latency and throughput. However, it is a complex ...
SENSYS
2009
ACM
14 years 4 months ago
2009
ACM
Continuous and reliable operation of WSNs is notoriously difficult to guarantee due to hardware degradation and environmental changes. In this paper, we propose and demonstrate a ...