866 search results - page 100 / 174 » A compositional semantics for CHR |
171
click to vote
AUSAI
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We compare Kripke models and hypercube systems, a simpli ed notion of Interpreted Systems, as semantic structures for reasoning about knowledge. Our method is to de ne a ...
162
click to vote
IBPRIA
2007
Springer
15 years 10 months ago
2007
Springer
Three methods for the efficient downdating, composition and splitting of low rank singular value decompositions are proposed. They are formulated in a closed form, considering the ...
156
click to vote
EPEW
2006
Springer
15 years 8 months ago
2006
Springer
We present a stochastic process algebra including immediate actions, deadlock and termination, and explicit stochastic delays, in the setting of weak choice between immediate actio...
160
click to vote
AAAI
2000
15 years 7 months ago
2000
We present an approach to building a verb lexicon compatible with WordNet but with explicitly stated syntactic and semantic information, using Levin verb classes to systematically...
176
click to vote
JOT
2007
15 years 6 months ago
2007
State machines can be used to specify the behaviour of objects in a system by describing the relationships between the states of the object and its ability to respond to events pr...