130 search results - page 10 / 26 » Rationally Additive Semirings |
VMCAI
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Several veriļ¬cation methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
IPL
2008
13 years 7 months ago
2008
We consider the problem known as MAX-SATISFY: given a system of m linear equations over the rationals, find a maximum set of equations that can be satisfied. Let r be the width of...
FFA
2011
12 years 10 months ago
2011
In this article, we consider the estimation of exponential sums along the points of the reduction mod pm of a p-adic analytic submanifold of Zn p . More precisely, we extend Igusaā...
CASC
2011
Springer
12 years 7 months ago
2011
Springer
Abstract. We study continuous dynamical systems deļ¬ned by autonomous ordinary diļ¬erential equations, themselves given by parametric rational functions. For such systems, we pro...
MSS
2008
IEEE
13 years 7 months ago
2008
IEEE
: This paper develops a theory of probabilistic models for risky choices. Part of this theory can be viewed as an extension of the expected utility theory to account for bounded ra...