6274 search results - page 780 / 1255 » Proofs, Programs, Processes |
167
click to vote
ISMB
1997
15 years 8 months ago
1997
Seq7 is a newprogramfor generating multiple structure-based alignments of RNAsequences. Byusing a variant of Dijkstra’s algorithm to find the shortest path through a specially c...
162
click to vote
COLING
1992
15 years 8 months ago
1992
We report on the initial stages of development of a robust parsing system, to be used as part of The Editor's Assistant, a program that detects and corrects textual errors an...
163
click to vote
AOR
2006
15 years 7 months ago
2006
This paper is devoted to basic scheduling problems in which the scheduling cost of a job is not a function of its completion time. Instead, the cost is derived from the integratio...
178
click to vote
IJVR
2008
15 years 6 months ago
2008
Solving robotic exercises is a difficult task for students because the modeling activity involved requires students to comprehend programming, robotic design concepts as well as ba...
157
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Processing compressed strings without decompression is often essential when dealing with massive data sets. We consider local subsequence recognition problems on strings ...