4581 search results - page 298 / 917 » Computing Transformation Semigroups |
164
click to vote
CIE
2008
Springer
15 years 8 months ago
2008
Springer
The extraction mechanism of Coq allows one to transform Coq proofs and functions into functional programs. We illustrate the behavior of this tool by reviewing several variants of ...
162
click to vote
ACL
2010
15 years 4 months ago
2010
This paper proposes a method of correcting annotation errors in a treebank. By using a synchronous grammar, the method transforms parse trees containing annotation errors into the...
180
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
Many natural objects vary the shapes as linear combinations of certain bases. The measurement of such deformable shapes is coupling of rigid similarity transformations between the...
192
click to vote
BMVC
2000
15 years 8 months ago
2000
The hybrid Radon-Fourier technique has been proposed for the discrimination and tracking of deforming and compound targets. The current work investigates the technique's uniq...
427
click to vote
DAC
2012
ACM
13 years 9 months ago
2012
ACM
Much recent research [8, 6, 7] suggests significant power and energy benefits of relaxing correctness constraints in future processors. Such processors with relaxed constraints ...