2372 search results - page 96 / 475 » Probabilistic calling context |
JMLR
2012
12 years 22 days ago
2012
This paper studies issues relating to the parameterization of probability distributions over binary data sets. Several such parameterizations of models for binary data are known, ...
ICFP
2005
ACM
14 years 10 months ago
2005
ACM
We study the relation between Nominal Logic and the Theory of Contexts, two approaches for specifying and reasoning about datatypes with binders. We consider a natural-deduction s...
IEEESCC
2009
IEEE
14 years 5 months ago
2009
IEEE
Wireless sensor networks are application specific, data centric networks where different applications run on deployed network. Each application interprets the underlying sensor n...
KR
2010
Springer
14 years 3 months ago
2010
Springer
We present a distributed algorithm for computing equilibria of heterogeneous nonmonotonic multi-context systems (MCS). The algorithm can be parametrized to compute only partial eq...
ENTCS
2007
13 years 10 months ago
2007
We present two enhancements of the functional language L which is used in the eriFun system to write programs and formulate statements about them. Context dependent procedures all...