Sciweavers

2131 search results - page 65 / 427
» Immunity for Closed Sets
Sort
View
84
Voted
DAGSTUHL
2008
15 years 2 months ago
Complete Interval Arithmetic and its Implementation
: Let IIR be the set of closed and bounded intervals of real numbers. Arithmetic in IIR can be defined via the power set IPIR of real numbers. If divisors containing zero are exclu...
Ulrich W. Kulisch
97
Voted
IFSA
2007
Springer
119views Fuzzy Logic» more  IFSA 2007»
15 years 7 months ago
Topology in Fuzzy Class Theory: Basic Notions
In the formal and fully graded setting of Fuzzy Class Theory (or higher-order fuzzy logic) we make an initial investigation into basic notions of fuzzy topology. In particular we s...
Libor Behounek, Tomás Kroupa
MCU
1998
117views Hardware» more  MCU 1998»
15 years 2 months ago
The Turing Closure of an Archimedean Field
A BSS machine is -uniform if it does not use exact tests; such machines are equivalent (modulo parameters) to Type 2 Turing machines. We define a notion of closure related to Turi...
Paolo Boldi, Sebastiano Vigna
101
Voted
CORR
2008
Springer
130views Education» more  CORR 2008»
15 years 26 days ago
Convex Hull of Arithmetic Automata
Abstract. Arithmetic automata recognize infinite words of digits denoting decompositions of real and integer vectors. These automata are known expressive and efficient enough to re...
Jérôme Leroux
FSTTCS
2001
Springer
15 years 5 months ago
The First-Order Isomorphism Theorem
For any class C und closed under NC1 reductions, it is shown that all sets complete for C under first-order (equivalently, Dlogtimeuniform AC0 ) reductions are isomorphic under ...
Manindra Agrawal