1096 search results - page 12 / 220 » Abstract Canonical Inference |
ISIPTA
2005
IEEE
15 years 3 months ago
2005
IEEE
When considering sampling models described by a distribution from an exponential family, it is possible to create two types of imprecise probability models. One is based on the co...
TCS
2008
14 years 9 months ago
2008
Interpretation and Types for Systems Biology Fran
CONCUR
2003
Springer
15 years 2 months ago
2003
Springer
traction for HOPLA Mikkel Nygaard1 and Glynn Winskel2 1 BRICS , University of Aarhus 2 Computer Laboratory, University of Cambridge A fully abstract denotational semantics for the ...
CSL
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Bisimilarity and weak bisimilarity are canonical notions of equivalence between processes, which are defined co-inductively, but may be approached
STACS
2009
Springer
15 years 4 months ago
2009
Springer
ABSTRACT. Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction...