4581 search results - page 370 / 917 » Computing Transformation Semigroups |
151
Voted
TLCA
1999
Springer
15 years 11 months ago
1999
Springer
AnnoDomini is a commercially available source-to-source conversion tool for finding and fixing Year 2000 problems in COBOL programs. AnnoDomini uses type-based specification, an...
135
click to vote
SIGGRAPH
1997
ACM
15 years 11 months ago
1997
ACM
This paper describes a technique that transforms ordinary video segments into animations that have a hand-painted look. Our method is the first to exploit temporal coherence in vi...
160
click to vote
MM
1993
ACM
15 years 11 months ago
1993
ACM
The design and implementation of a software decoder for MPEG video bitstreams is described. The software has been ported to numerous platforms including PC’s, workstations, and ...
177
click to vote
RTA
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In this paper we introduce a modular framework which allows to infer (feasible) upper bounds on the (derivational) complexity of term rewrite systems by combining differ...
173
click to vote
DGCI
2006
Springer
15 years 10 months ago
2006
Springer
A sequential algorithm for computing the distance map using distances based on neighbourhood sequences (of any length) in the 2D square grid; and 3D cubic, face-centered cubic, and...