3877 search results - page 505 / 776 » Aligning alignments exactly |
188
click to vote
ECEASST
2006
15 years 7 months ago
2006
We report on the results of a long-term project to formalize the semantics of OCL 2.0 in Higher-order Logic (HOL). The ultimate goal of the project is to provide a formalized, mach...
182
click to vote
IJCBDD
2008
15 years 7 months ago
2008
: CLUSS is an algorithm proposed for clustering both alignable and non-alignable protein sequences. However, CLUSS tends to be ineffective on protein datasets that include a large ...
242
click to vote
IJNSEC
2008
15 years 7 months ago
2008
Most of the current security architectures for grid systems use conventional public key infrastructure (PKI) to authenticate grid members and to secure resource allocation to thes...
156
click to vote
IJON
2008
15 years 7 months ago
2008
Generalization, in its most basic form, is an artificial neural network's (ANN's) ability to automatically classify data that were not seen during training. This paper p...
196
click to vote
CGF
2007
15 years 7 months ago
2007
We introduce an algorithm for the automatic computation of global parameterizations on arbitrary simplicial 2manifolds, whose parameter lines are guided by a given frame field, f...