4581 search results - page 263 / 917 » Computing Transformation Semigroups |
146
click to vote
ICCS
2005
Springer
16 years 4 days ago
2005
Springer
We describe a visual interactive framework that supports the computation of syntactic unifiers of expressions with variables. Unification is specified via built-in transformatio...
204
click to vote
FPL
2003
Springer
15 years 12 months ago
2003
Springer
Distributed Arithmetic techniques are widely used to implement Sum-of-Products computations such as calculations found in multimedia applications like FIR filtering and Discrete Co...
169
Voted
DSN
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a generic methodology to transform a protocol resilient to process crashes into one resilient to arbitrary failures in the case where processes run the same te...
160
click to vote
ECOOPW
1998
Springer
15 years 11 months ago
1998
Springer
In restructuring legacy code it may be useful to introduce a design pattern in order to add clarity to the system and thus facilitate further program evolution. We show that aspec...
171
click to vote
CAIP
2009
Springer
15 years 10 months ago
2009
Springer
A new type of affine moment invariants for color images is proposed in this paper. The traditional affine moment invariants can be computed on each color channel separately, yet wh...