Sciweavers

5093 search results - page 35 / 1019
» How Real are Real Numbers
Sort
View
IDA
1997
Springer
13 years 11 months ago
How to Find Big-Oh in Your Data Set (and How Not to)
The empirical curve bounding problem is de ned as follows. Suppose data vectors X Y are presented such that E(Y i]) = f(X i]) where f(x) is an unknown function. The problem is to a...
Catherine C. McGeoch, Doina Precup, Paul R. Cohen
JSYML
2000
56views more  JSYML 2000»
13 years 7 months ago
Recursive in A Generic Real
There is a comeager set C contained in the set of 1-generic reals and a first order structure M such that for any real number X, there is an element of C which is recursive in X if...
Juichi Shinoda, Theodore A. Slaman
JC
2008
90views more  JC 2008»
13 years 7 months ago
On the probability distribution of data at points in real complete intersection varieties
We show several estimates on the probability distribution of some data at points in real complete intersection varieties: norms of real affine solutions, condition number of real ...
Cruz E. Borges, Luis M. Pardo
ISSAC
1992
Springer
95views Mathematics» more  ISSAC 1992»
13 years 11 months ago
Real Algebraic Closure of an Ordered Field: Implementation in Axiom
Real algebraic numbers appear in many Computer Algebra pro bJems. For inst ante the determination of a cylindrical algebraic decomposition for an euclidian space requires compu ti...
Renaud Rioboo
FM
2003
Springer
139views Formal Methods» more  FM 2003»
14 years 25 days ago
Combining Real-Time Model-Checking and Fault Tree Analysis
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...
Andreas Schäfer