Searching for "Algorithms and Real Numbers." – sorted by Relevance.
26 documents found, showing 1 through 10.
Next 10 →
-
An Analysis on Crossovers for Real Number Chromosomes in an Infinite Population Size
- … algorithms with real number chromosomes, we focus our attention on crossovers, give a general framework…
- Add To MetaCart
-
An Analysis on Linear Crossover for Real Number Chromosomes in an Infinite Population Size
- … algorithms with real number chromosomes, we focus our attention on crossovers using a linear combination…
- Cited by 1 (1 self) – Add To MetaCart
-
Static Analysis Yields Efficient Exact Integer Arithmetic for Computational Geometry
- … It is convenient to describe geometric algorithms in the "real number RAM" model of computation, with unitcost…
- Cited by 52 (4 self) – Add To MetaCart
-
Coinductive Field of Exact Real Numbers and General Corecursion
- … by expressing some algorithms on stream of real numbers by giving their specification in a syntax based…
- Cited by 1 (0 self) – Add To MetaCart
-
Extending RISC-CLP(Real) to Handle Symbolic Functions
- … is decided by the solver that combines a decision algorithm for the real numbers with the "adapted…
- Cited by 4 (0 self) – Add To MetaCart
-
Towards a Combination of Heterogeneous Deductive Tools for System Verification: A Case Study on Clock Synchronization, in "Appsem
- … reasoning about distributed algorithms and real-number arithmetics. We have started by formalizing…
- Cited by 1 (0 self) – Add To MetaCart
-
A Golden Ratio Notation for the Real Numbers
- … to the standard algorithms on real numbers. An historical excursion on different number notations can be found…
- Cited by 10 (0 self) – Add To MetaCart
-
Cs-R9602 1996
- … to the standard algorithms on real numbers. An historical excursion on different number notations can be found…
- Add To MetaCart
-
A Continuous Model of Computation
- … of modern scientific computation, where most of the algorithms... are real number algorithms." The pros…
- Cited by 1 (0 self) – Add To MetaCart
-
Beyond Finite Domains
- … Fourier's projection algorithm for real numbers to integers. The former computes a disjunction…
- Cited by 27 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
