332 search results - page 17 / 67 » An Aristotelian notion of size |
STACS
2001
Springer
15 years 2 months ago
2001
Springer
Coalgebras for a functor on the category of sets subsume many formulations of the notion of transition system, including labelled transition systems, Kripke models, Kripke frames a...
ICCAD
2000
IEEE
15 years 2 months ago
2000
IEEE
We address optimizing multi-valued (MV) logic functions in a multi-level combinational logic network. Each node in the network, called an MV-node, has multi-valued inputs and sing...
JSC
2000
14 years 9 months ago
2000
We give a new structure theorem for subresultants precising their gap structure and derive from it a new algorithm for computing them. If d is a bound on the degrees and a bound o...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
The Random Projection Tree (RPTREE) structures proposed in [1] are space partitioning data structures that automatically adapt to various notions of intrinsic dimensionality of da...
103
click to vote
JSYML
2010
14 years 4 months ago
2010
We determine exact consistency strengths for various failures of the Singular Cardinals Hypothesis (SCH) in the setting of the Zermelo-Fraenkel axiom system ZF without the Axiom o...