920 search results - page 82 / 184 » Computing the Frequency of Partial Orders |
DATE
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper presents the Pareto Calculator, a tool for compositional computation of Pareto points, based on the algebra of Pareto points. The tool is a useful instrument for multidi...
RTA
2005
Springer
15 years 3 months ago
2005
Springer
A convenient method for defining a quasi-ordering, such as those used for proving termination of rewriting, is to choose the minimum of a set of quasi-orderings satisfying some d...
BIRTHDAY
2000
Springer
15 years 2 months ago
2000
Springer
Bistructures are a generalisation of event structures which allow a representation of spaces of functions at higher types in an orderextensional setting. The partial order of caus...
CIE
2010
Springer
14 years 11 months ago
2010
Springer
We study classes of propositional contradictions based on the Least Number Principle (LNP) in the refutation system of Resolution and its generalisations with bounded conjunction, ...
AMC
2006
14 years 10 months ago
2006
The exponential Euler method is a nonstandard approximation scheme that was developed specifically for the Hodgkin-Huxley differential equation models that arise in neuroscience a...