680 search results - page 77 / 136 » Types for the Ambient Calculus |
98
Voted
SIAMJO
2008
15 years 3 months ago
2008
We provide a rule to calculate the subdifferential of the pointwise supremum of an arbitrary family of convex functions defined on a real locally convex topological vector space. ...
133
click to vote
KI
2009
Springer
15 years 10 months ago
2009
Springer
Cardinal direction relations are binary spatial relations determined under an extrinsically-defined direction system (e.g., north of). We already have point-based and region-based ...
121
click to vote
UAI
1994
15 years 5 months ago
1994
Wepresenta symbolicmachinerythatadmits bothprobabilisticand causalinformation abouta givendomainand producesprobabilisticstatementsabouttheeffectofactions andtheimpactof observati...
139
click to vote
AMAI
2004
Springer
15 years 3 months ago
2004
Springer
Sequential von Neumann-Morgernstern (VM) games are a very general formalism for representing multi-agent interactions and planning problems in a variety of types of environments. ...
164
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Milner's bigraphs [1] are a general framework for reasoning about distributed and concurrent programming languages. Notably, it has been designed to encompass both the -calcul...