Sciweavers

2 search results - page 1 / 1
» A Concrete Representation of Observational Equivalence for P...
Sort
View
97
Voted
CORR
2010
Springer
60views Education» more  CORR 2010»
15 years 27 days ago
A Concrete Representation of Observational Equivalence for PCF
traction Problem for PCF Hyland-Ong games model Concrete Representation Compositional Semantics? A Concrete Representation of Observational Equivalence for PCF Martin Churchill, Ji...
Martin Churchill, James Laird, Guy McCusker
106
Voted
IJAR
2008
83views more  IJAR 2008»
15 years 24 days ago
Decision-theoretic specification of credal networks: A unified language for uncertain modeling with sets of Bayesian networks
Credal networks are models that extend Bayesian nets to deal with imprecision in probability, and can actually be regarded as sets of Bayesian nets. Credal nets appear to be power...
Alessandro Antonucci, Marco Zaffalon