Sciweavers

1523 search results - page 89 / 305
» Partially ordered secretaries
Sort
View
EUSFLAT
2003
15 years 2 months ago
On the preservation of monotonicity by extended mappings
Images of fuzzy relations provide powerful access to fuzzifications of properties of and/or relationships between fuzzy sets. As an important example, images of fuzzy orderings c...
Ulrich Bodenhofer
85
Voted
TBILLC
2005
Springer
15 years 6 months ago
Natural Logic for Natural Language
We implement the extension of the logical consequence relation to a partial order ≤ on arbitary types built from e (entities) and t (Booleans) that was given in [1], and the de...
Jan van Eijck
92
Voted
GECCO
2003
Springer
15 years 5 months ago
Multi-objectivity as a Tool for Constructing Hierarchical Complexity
Abstract. This paper presents a novel perspective to the use of multiobjective optimization and in particular evolutionary multi-objective optimization (EMO) as a measure of comple...
Jason Teo, Minh Ha Nguyen, Hussein A. Abbass
FSTTCS
2006
Springer
15 years 4 months ago
On Reduction Criteria for Probabilistic Reward Models
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...
Marcus Größer, Gethin Norman, Christel ...
STACS
1991
Springer
15 years 4 months ago
The RELVIEW-System
Several relation-algebraic algorithms for computing the cut completion of a partially ordered set are formally developed and afterwards generalized to the case of concept lattices....
Rudolf Berghammer, Gunther Schmidt