3954 search results - page 137 / 791 » Image-based Model Completion |
139
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
It has recently been discovered that both quantum and classical propositional logics can be modelled by classes of nonorthomodular and thus non-distributive lattices that properly...
210
click to vote
ICLA
2011
Springer
14 years 9 months ago
2011
Springer
We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This...
138
click to vote
CSL
2007
Springer
16 years 10 days ago
2007
Springer
We define strong monads of continuous (lower, upper) previsions, and of forks, modeling both probabilistic and non-deterministic choice. This is an elegant alternative to recent p...
150
click to vote
EURODAC
1995
IEEE
15 years 9 months ago
1995
IEEE
The presented fault model uniquely describes all structural changes in the transistor net list that can be caused by spot defects, including faults that connect more than two nets...
169
click to vote
ENTCS
2008
15 years 6 months ago
2008
We study the algebraic structure of directed bigraphs, a bigraphical model of computations with locations, connections and resources previously introduced as a unifying generaliza...