3145 search results - page 188 / 629 » Algebraic Linear Orderings |
144
click to vote
IMC
2007
ACM
15 years 6 months ago
2007
ACM
We address the problem of calculating link loss rates from end-to-end measurements. Contrary to existing works that use only the average end-to-end loss rates or strict temporal c...
162
click to vote
PLANX
2007
15 years 6 months ago
2007
Although monadic second-order logic (MSO) has been a foundation of XML queries, little work has attempted to take MSO formulae themselves as a programming construct. Indeed, MSO f...
115
click to vote
VLDB
1987
ACM
15 years 8 months ago
1987
ACM
There are several consistency control algorithms for managing replicated files in the face of network partitioning due to site or communication link failures. In this paper, we co...
118
click to vote
ADCM
2010
15 years 4 months ago
2010
Sampling inequalities give a precise formulation of the fact that a differentiable function cannot attain large values, if its derivatives are bounded and if it is small on a suff...
153
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Abstract. This paper presents verified quantifier elimination procedures for dense linear orders (DLO), for real and for integer linear arithmetic. The DLO procedures are new. All ...