1454 search results - page 85 / 291 » Stateful traits and their formalization |
131
click to vote
ACL
1992
15 years 7 months ago
1992
Linear precedence (LP) rules are widely used for stating word order principles. They have been adopted as constraints by HPSG but no encoding in the formalism has been provided. S...
133
click to vote
IJAR
2008
15 years 6 months ago
2008
The Dempster-Shafer (DS) theory of probabilistic reasoning is presented in terms of a semantics whereby every meaningful formal assertion is associated with a triple (p, q, r) whe...
166
click to vote
ENTCS
2006
15 years 6 months ago
2006
Effective formal verification tools require that robust implementations of automatic procedures for first-order logic and satisfiability modulo theories be integrated into express...
168
click to vote
ENTCS
2007
15 years 6 months ago
2007
Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of alg...
148
click to vote
ENTCS
2007
15 years 6 months ago
2007
The aim of the paper is to revisit the model of Biological Regulatory Networks (BRN) which was proposed by René Thomas to model the interactions between a set of genes. We give a...