1216 search results - page 171 / 244 » Translation analysis and translation automation |
106
Voted
POPL
1995
ACM
15 years 4 months ago
1995
ACM
Traditional techniques for implementing polymorphism use a universal representation for objects of unknown type. Often, this forces a compiler to use universal representations eve...
118
Voted
BMCBI
2007
15 years 21 days ago
2007
Background: Most human genes produce several transcripts with different exon contents by using alternative promoters, alternative polyadenylation sites and alternative splice site...
116
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
We consider the problem of intruder deduction in security protocol analysis: that is, deciding whether a given message M can be deduced from a set of messages under the theory of ...
131
Voted
BIB
2011
14 years 7 months ago
2011
Programs for RNA mutational analysis that are structure-based and rely on secondary structure prediction have been developed and expanded in the past several years. They can be us...
106
click to vote
CVPR
2004
IEEE
16 years 2 months ago
2004
IEEE
The study of 2D shapes and their similarities is a central problem in the field of vision. It arises in particular from the task of classifying and recognizing objects from their ...