2000 search results - page 308 / 400 » Program Transformation and Proof Transformation |
134
Voted
CATA
2003
15 years 4 months ago
2003
Many current general purpose processors use extensions to the instruction set architecture to enhance the performance of digital image processing and multimedia applications. In t...
127
Voted
ACL
1997
15 years 4 months ago
1997
This paper presents a new approach to bitext correspondence problem (BCP) of noisy bilingual corpora based on image processing (IP) techniques. By using one of several ways of est...
107
Voted
ISMB
1996
15 years 4 months ago
1996
Virtually all large-scale sequencing projects use automatic sequence-assembly programs to aid in the determination of DNA sequences. The computer-generated assemblies require subs...
139
Voted
MVA
1992
15 years 4 months ago
1992
The development of a real time image processing on a specific architecture is always restricting for the user who must master all the elementary mechanisms of the machine. Such sp...
245
Voted
AAIP
2009
15 years 4 months ago
2009
This paper describes our efforts and solutions in porting our IP system IGOR 2 from the termrewriting language MAUDE to HASKELL. We describe how, for our purpose necessary feature...