329 search results - page 16 / 66 » SLX: the X is for extensibility |
ICLP
1993
Springer
14 years 1 hour ago
1993
Springer
nt an abstract instruction set for a constraint solver over finite domains, which can be smoothly integrated in the WAM architecture. It is based on the use of a single primitive...
TC
1998
13 years 7 months ago
1998
—Let F2 denote the binary field and F 2 m an algebraic extension of degree m > 1 over F2 . Traditionally, elements of F 2 m are either represented as powers of a primitive ele...
Source Code
"3D Slicer is a multi-platform, free open source software (FOSS) for visualization and image computing. Features include Sophisticated complex visualization capabilities, Mult...
RTA
2005
Springer
14 years 1 months ago
2005
Springer
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...
EUSFLAT
2003
13 years 9 months ago
2003
In this paper we prove that a transitive fuzzy relation R on a set X can be extended to a total transitive fuzzy relation Q on X preserving the irreflexivity of R. This generaliz...