3145 search results - page 23 / 629 » Algebraic Linear Orderings |
92
Voted
RC
2002
14 years 9 months ago
2002
A new method to decide the invertibility of a given high-dimensional function over a domain is presented. The problem arises in the field of verified solution of differential algeb...
ICCV
2007
IEEE
15 years 4 months ago
2007
IEEE
Numerical multilinear (tensor) algebra is a principled mathematical approach to disentangling and explicitly and parsimoniously representing the essential factors or modes of imag...
70
Voted
ICICS
2004
Springer
15 years 3 months ago
2004
Springer
In order to decide on advertisement fees for web servers, Naor and Pinkas introduced (threshold) metering schemes secure against coalitions of corrupt servers and clients. They sho...
94
Voted
ORDER
2010
14 years 8 months ago
2010
We prove that every orthocomplete homogeneous effect algebra is sharply dominating. Let us denote the greatest sharp element below x by x↓. For every element x of an orthocomple...
PPOPP
2012
ACM
13 years 5 months ago
2012
ACM
The efforts of an expert to parallelize and optimize a dense linear algebra algorithm for distributed-memory targets are largely mechanical and repetitive. We demonstrate that the...