523 search results - page 64 / 105 » Decidability of string graphs |
140
Voted
TCBB
2011
14 years 10 months ago
2011
Abstract—Though biomedical research often draws on knowledge from a wide variety of fields, few visualization methods for biomedical data incorporate meaningful cross-database e...
139
Voted
ACL
2012
13 years 5 months ago
2012
In this paper, we address the issue for learning better translation consensus in machine translation (MT) research, and explore the search of translation consensus from similar, r...
158
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Code clones are similar code fragments that occur at multiple locations in a software system. Detection of code clones provides useful information for maintenance, reengineering, ...
126
Voted
CPM
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Local similarity is an important tool in comparative analysis of biological sequences, and is therefore well studied. In particular, the Smith-Waterman technique and its ...
165
Voted
VMCAI
2010
Springer
16 years 20 days ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...