3573 search results - page 260 / 715 » Reasoning about Codata |
104
Voted
CEEMAS
2005
Springer
15 years 10 months ago
2005
Springer
Typical interaction models as addressed messages present several pitfalls. To overcome these limits, new interactional models close to the concept of mutual awareness have been pro...
120
click to vote
DSOM
2005
Springer
15 years 10 months ago
2005
Springer
Presently, there is no satisfactory model for dealing with political autonomy of agents in policy based management. A theory of atomic policy units called ‘promises’ is therefo...
114
click to vote
ECSQARU
2005
Springer
15 years 10 months ago
2005
Springer
We describe an algorithm to build a graphical model—more precisely: a join tree representation of a Markov network—for a steady state analog electrical circuit. This model can ...
132
click to vote
FROCOS
2005
Springer
15 years 10 months ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...
150
click to vote
LPNMR
2005
Springer
15 years 10 months ago
2005
Springer
We describe an application of Abductive Logic Programming (ALP) to the analysis of an important class of DNA microarray experiments. We develop an ALP theory that provides a simple...