4581 search results - page 61 / 917 » Computing Transformation Semigroups |
ICPR
2008
IEEE
15 years 7 months ago
2008
IEEE
The Discrete Pulse Transform (DPT), a well known method for the analysis of signals, was recently extended to images. Here we propose an efficient algorithm generating DPT on a g...
113
Voted
SPIN
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. This paper describes three program transformations that extend the scope of model checkers for Java programs to include distributed programs, i.e., multi-process programs...
104
click to vote
DCC
1999
IEEE
15 years 5 months ago
1999
IEEE
The Burrows Wheeler Transform (BWT) is a reversible sequence transformation used in a variety of practical lossless source-coding algorithms. In each, the BWT is followed by a loss...
109
click to vote
CW
2005
IEEE
15 years 2 months ago
2005
IEEE
This paper explores the use of ARIS for Semantic Web Service development. It proposes an ARIS-based transformation methodology for the automatic specification and development of S...
103
click to vote
JGTOOLS
2006
15 years 27 days 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...