1160 search results - page 80 / 232 » Revisiting the Sequence Constraint |
162
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Linear motifs (LMs) are abundant short regulatory sites used for modulating the functions of many eukaryotic proteins. They play important roles in post-translational ...
167
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. Dynamic Pushdown Networks (DPNs) are a model for parallel programs with (recursive) procedures and process creation. The goal of this paper is to develop generic techniqu...
171
click to vote
ICCBSS
2005
Springer
15 years 12 months ago
2005
Springer
A vital issue in the correct use of commercial-off-the-shelf (COTS) components is the proper understanding of their functionality, quality attributes and ways of operation. Traditi...
172
click to vote
SLSFS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Matrix factorization is a fundamental building block in many computer vision and machine learning algorithms. In this work we focus on the problem of ”structure from mo...
217
click to vote
TACAS
2000
Springer
15 years 10 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...