Sciweavers

1285 search results - page 1 / 257
» On the Complexity of Ordinal Clustering
Sort
View
CLASSIFICATION
2006
103views more  CLASSIFICATION 2006»
13 years 4 months ago
On the Complexity of Ordinal Clustering
Abstract. Given a set of pairwise distances on a set of n points, constructing an edge-weighted tree whose leaves are these n points such that the tree distances would mimic the or...
Rahul Shah, Martin Farach-Colton
CORR
2010
Springer
141views Education» more  CORR 2010»
13 years 4 months ago
The complexity of linear-time temporal logic over the class of ordinals
We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic by Kamp's theore...
Stéphane Demri, Alexander Rabinovich
LPAR
2007
Springer
13 years 10 months ago
The Complexity of Temporal Logic with Until and Since over Ordinals
Abstract. We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic thanks to ...
Stéphane Demri, Alexander Rabinovich
AML
2004
90views more  AML 2004»
13 years 4 months ago
A comparison of two systems of ordinal notations
The standard method of generating countable ordinals from uncountable ordinals can be replaced by a use of fixed point extractors available in the term calculus of Howard's s...
Harold Simmons
CIE
2006
Springer
13 years 8 months ago
Complexity-Theoretic Hierarchies
We introduce two hierarchies of unknown ordinal height. The hierarchies are induced by natural fragments of a calculus based on finite types and G
Lars Kristiansen