2911 search results - page 126 / 583 » A Theory of Expressiveness in Mechanisms |
136
click to vote
IJCAI
1989
15 years 7 months ago
1989
Model-based revision of knowledge bases ex pressed as first-order theories was shown in [Winslett 88b] to be useful as a means of de scribing and reasoning about the effects o...
149
click to vote
ISMB
1996
15 years 7 months ago
1996
A novel theory of subtractive hybridization including (or based on) the kinetic model of this process was proposed. A computer program modeling the process of subtraction wasdevel...
151
click to vote
ACL
1990
15 years 7 months ago
1990
A compositional semantics for focusing subjuncts-words such as only, even, and also--is developed from Rooth's theory of association with focus. By adapting the theory so tha...
142
click to vote
AMC
2006
15 years 6 months ago
2006
We first show that the Halting Function (the noncomputable function that solves the Halting Problem) has explicit expressions in the language of calculus. Out of that fact we elab...
167
click to vote
SYMMETRY
2010
15 years 1 months ago
2010
: The theory of elasticity is used to predict the response of a material body subject to applied forces. In the linear theory, where the displacement is small, the stress tensor wh...