4880 search results - page 177 / 976 » Manuals as Structured Programs |
132
click to vote
SAT
2004
Springer
15 years 9 months ago
2004
Springer
Modern algorithms for the SAT problem reveal an almost tractable behavior on “real-world” instances. This is frequently contributed to the fact that these instances possess an ...
100
Voted
SIGCSE
1998
ACM
15 years 8 months ago
1998
ACM
JAWAA is a simple command language for creating animations of data structures and displaying them with a Web browser. Commands are stored in a script file that is retrieved and r...
122
Voted
ISMB
1997
15 years 5 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...
110
Voted
CN
2000
15 years 3 months ago
2000
The Web contains an abundance of useful semi-structured information that can and should be mined. Types of structure include hyperlinks between pages, structure within hypertext p...
120
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
To find the best lattice model representation of a given full atom protein structure is a hard computational problem. Several greedy methods have been suggested where results are ...