2529 search results - page 15 / 506 » The Logical Structure of Binding |
BMCBI
2010
14 years 9 months ago
2010
Background: Biological evolution conserves protein residues that are important for structure and function. Both protein stability and function often require a certain degree of st...
105
click to vote
ISDA
2009
IEEE
15 years 4 months ago
2009
IEEE
—Protein binding sites are often represented by means of graphs capturing their most important geometrical and physicochemical properties. Searching for structural similarities a...
ACL
1990
14 years 11 months ago
1990
This paper presents an implemented, psychologicallyplausible parsing model for Government Binding theory grammars. I make use of two main ideas: (1) a generalization of the licens...
MODELS
2007
Springer
15 years 3 months ago
2007
Springer
We propose a method for describing architectural aspects in UML and show how binding specifications are used to compose aspects with base models. UML classes, parts, ports, and c...
89
Voted
ITP
2010
14 years 7 months ago
2010
Using HOL4, we mechanise termination and correctness for two unification algorithms, written in a recursive descent style. One computes unifiers for first order terms, the other fo...