Two conditions on a collection of simple orders - unimodality and straightness - are necessary but not jointly sufficient for unidimensional unfolding representations. From the analysis of these conditions, a polynomial time algorithm is derived for the testing of unidimensionality and for the construction of a representation when one exists. © 1994 Academic Press, Inc.SCOPUS: ar.jinfo:eu-repo/semantics/publishe
Sorting algorithms are one of the key pedagogical foundations of computer science, and their propert...
SIGLEAvailable from Bibliothek des Instituts fuer Weltwirtschaft, ZBW, Duesternbrook Weg 120, D-2410...
Multidimensional unfolding can be seen as a special case of Multidimensional Scaling (MDS) with two ...
A very simple heuristic approach to the unfolding problem will be described. An iterative algorithm ...
We report on the successful application of the Buehberger algorithm system to determine Gröbner base...
(eng) We show that the integer roots of of a univariate polynomial with integer coefficients can be ...
We elaborate on earlier work proposing general criteria to control unfolding during partial deductio...
National audienceThis article considers the temporal logic of the lexicographic products of unbounde...
This paper is motivated by the question whether there exists a logic capturing polynomial time comp...
Folds are appreciated by functional programmers. Their dual, unfolds, are not new, but they are not ...
Abstract. The most successful unfolding rules used nowadays in partial evaluation of logic programs ...
AbstractWe solve the isomorphism problem for certain classes of unary automatic structures: unary au...
Folds are appreciated by functional programmers. Their dual, unfolds, are not new, but they are not ...
Nominal Unification is an extension of first-order unification where terms can contain binders and u...
Abstract. This article has two main results. First, we develop a simple algorithm to list all noniso...
Sorting algorithms are one of the key pedagogical foundations of computer science, and their propert...
SIGLEAvailable from Bibliothek des Instituts fuer Weltwirtschaft, ZBW, Duesternbrook Weg 120, D-2410...
Multidimensional unfolding can be seen as a special case of Multidimensional Scaling (MDS) with two ...
A very simple heuristic approach to the unfolding problem will be described. An iterative algorithm ...
We report on the successful application of the Buehberger algorithm system to determine Gröbner base...
(eng) We show that the integer roots of of a univariate polynomial with integer coefficients can be ...
We elaborate on earlier work proposing general criteria to control unfolding during partial deductio...
National audienceThis article considers the temporal logic of the lexicographic products of unbounde...
This paper is motivated by the question whether there exists a logic capturing polynomial time comp...
Folds are appreciated by functional programmers. Their dual, unfolds, are not new, but they are not ...
Abstract. The most successful unfolding rules used nowadays in partial evaluation of logic programs ...
AbstractWe solve the isomorphism problem for certain classes of unary automatic structures: unary au...
Folds are appreciated by functional programmers. Their dual, unfolds, are not new, but they are not ...
Nominal Unification is an extension of first-order unification where terms can contain binders and u...
Abstract. This article has two main results. First, we develop a simple algorithm to list all noniso...
Sorting algorithms are one of the key pedagogical foundations of computer science, and their propert...
SIGLEAvailable from Bibliothek des Instituts fuer Weltwirtschaft, ZBW, Duesternbrook Weg 120, D-2410...
Multidimensional unfolding can be seen as a special case of Multidimensional Scaling (MDS) with two ...