1096 search results - page 12 / 220 » Abstract Canonical Inference |
120
click to vote
ISIPTA
2005
IEEE
15 years 7 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...
125
Voted
TCS
2008
15 years 1 months ago
2008
Interpretation and Types for Systems Biology Fran
93
Voted
CONCUR
2003
Springer
15 years 7 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 ...
95
Voted
CSL
2006
Springer
15 years 5 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
106
Voted
STACS
2009
Springer
15 years 8 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...