3145 search results - page 182 / 629 » Algebraic Linear Orderings |
124
Voted
RC
1998
15 years 4 months ago
1998
Abstract. The epsilon-inflation proved to be useful and necessary in many verification algorithms. Different definitions of an epsilon-inflation are possible, depending on the...
101
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper a novel system for image replica detection is presented. The system uses color-based descriptors in order to extract robust features for image representation. These ...
122
click to vote
DM
2006
15 years 4 months ago
2006
In this paper, we study the problem of sampling (exactly) uniformly from the set of linear extensions of an arbitrary partial order. Previous Markov chain techniques have yielded ...
121
click to vote
SCP
1998
15 years 4 months ago
1998
In STOC 93, Jones sketched the existence of a hierarchy within problems decidable in linear time by a first-order functional language based on tree-structured data (F), as well a...
107
click to vote
DATE
2007
IEEE
15 years 11 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...