3984 search results - page 120 / 797 » A Model-Driven Transformation Method |
113
click to vote
ISCAS
2002
IEEE
15 years 8 months ago
2002
IEEE
Scalar linear time-varying systems are addressed. In particular, a new factorization method for the associated scalar polynomial system differential operator is presented. It diff...
131
click to vote
JGTOOLS
2006
15 years 3 months ago
2006
Spherical harmonic transform plays an important role in research in shape description. Current computation methods involve expensive voxelization, and are prone to numerical error...
121
click to vote
TABLEAUX
2005
Springer
15 years 9 months ago
2005
Springer
For applications of first-order automated theorem provers in a wider verification context it is essential to provide a means of presenting and checking automatically found proofs...
127
Voted
JCB
2006
15 years 3 months ago
2006
Abstract We present a new approach for aligning families of 2D gels. Instead of choosing one of the gels as reference and performing pairwise alignment, we construct an ideal gel t...
140
Voted
ICIP
2003
IEEE
16 years 5 months ago
2003
IEEE
In this paper, we presented a method for integer reversible implementation of KLT for multiple component image compression. The progressive-to-lossless compression algorithm emplo...