78 search results - page 2 / 16 » Decision methods for linearly ordered Heyting algebras |
ISIPTA
2003
IEEE
13 years 10 months ago
2003
IEEE
In this paper we consider decision making under hierarchical imprecise uncertainty models and derive general algorithms to determine optimal actions. Numerical examples illustrate...
LFCS
2007
Springer
13 years 11 months ago
2007
Springer
Density elimination by substitutions is introduced as a uniform method for removing applications of the Takeuti-Titani density rule from proofs in firstorder hypersequent calculi....
SIAMSC
2011
12 years 11 months ago
2011
In order to compute polarization energy of biomolecules, we describe a boundary element approach to solving the linearized Poisson–Boltzmann equation. Our approach combines sever...
VISUALIZATION
1997
IEEE
13 years 9 months ago
1997
IEEE
We present an algorithm for the visualization of vector field topology based on Clifford algebra. It is the first method allowing the detection of higher order singularities. Th...
ENTCS
2006
13 years 5 months ago
2006
In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both line...