1882 search results - page 293 / 377 » Transformational Programming and Forests |
140
Voted
ACL
1997
15 years 6 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...
117
click to vote
ISMB
1996
15 years 6 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...
152
click to vote
MVA
1992
15 years 6 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...
270
click to vote
AAIP
2009
15 years 6 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...
145
click to vote
ENTCS
2008
15 years 5 months ago
2008
The satisfiability problem is the fundamental problem in proving the conflict-freeness of specifications, or in finding a counterexample for an invalid statement. In this paper, w...