2529 search results - page 4 / 506 » The Logical Structure of Binding |
EACL
1989
ACL Anthology
13 years 8 months ago
1989
ACL Anthology
In this paper, we present a logic-based computational model for movement theory in Government and Binding Theory. For that purpose, we have designed a language called DISLOG. DISL...
CSB
2005
IEEE
14 years 1 months ago
2005
IEEE
Metals bound to the protein are important for functional or structural roles. Despite their importance there is a distinct lack of research for identification of metalloproteins f...
CCL
1994
Springer
13 years 11 months ago
1994
Springer
Abstract: This paper describes the application of CLP (constraint logic programming) to several digital circuit design problems. It is shown that logic programming together with ef...
CONCUR
1995
Springer
13 years 11 months ago
1995
Springer
We provide a category theoretic reformulation of control structures, which avoids explicit reference to names. The basis of the formulation is what we call a binding structure, wh...
RECOMB
2005
Springer
14 years 7 months ago
2005
Springer
We present a novel computational method, MultiBind, for recognition of binding patterns common to a set of protein structures. It is the first method which performs a multiple alig...