2343 search results - page 389 / 469 » Structure and Interpretation of Computer Programs |
150
click to vote
PLDI
2004
ACM
15 years 10 months ago
2004
ACM
e Synchronization Abstractions “Well, it just so happens that your friend here is only mostly dead. There’s a big difference between mostly dead and all dead.” – Miracle Ma...
142
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...
170
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Multiple sequence alignment (MSA) is a useful tool in bioinformatics. Although many MSA algorithms have been developed, there is still room for improvement in accuracy...
155
click to vote
BMCBI
2004
15 years 4 months ago
2004
Background: Large-scale sequence comparison is a powerful tool for biological inference in modern molecular biology. Comparing new sequences to those in annotated databases is a u...
189
click to vote
CP
2003
Springer
15 years 10 months ago
2003
Springer
Multiple sequence alignment is a central problem in Bioinformatics. A known integer programming approach is to apply branch-and-cut to exponentially large graph-theoretic models. T...