4581 search results - page 342 / 917 » Computing Transformation Semigroups |
151
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In this article we present a method for formally proving the correctness of the lazy algorithms for computing homographic and quadratic transformations -- of which field operations...
156
click to vote
DSP
2006
15 years 6 months ago
2006
In this study, we extended the one-dimensional (1-D) unitary matrix pencil method (UMP) [N. Yilmazer, J. Koh, T.K. Sarkar, Utilization of a unitary transform for efficient computa...
132
click to vote
COLING
2002
15 years 6 months ago
2002
To better understand the ordering of clause aggregation operators in a text generation application, we manually annotated a small corpus. The annotated corpus supports the preferr...
249
click to vote
LPNMR
2011
Springer
14 years 9 months ago
2011
Springer
This paper investigates a new approach for computing the inference of defeasible logic. The algorithm proposed can substantially reduced the theory size increase due to transformat...
203
click to vote
ICMT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The QVT Relations (QVT-R) transformation language allows the definition of bidirectional model transformations, which are required in cases where a two (or more) models ...