8824 search results - page 137 / 1765 » On the Complexity of Real Functions |
136
click to vote
LICS
1996
IEEE
15 years 8 months ago
1996
IEEE
Real PCF is an extension of the programming language PCF with a data type for real numbers. Although a Real PCF definable real number cannot be computed in finitely many steps, it...
106
click to vote
MICS
2007
15 years 4 months ago
2007
The pseudozero set of a system P of polynomials in n variables is the subset of Cn consisting of the union of the zeros of all polynomial systems Q that are near to P in a suitable...
135
click to vote
ISORC
2008
IEEE
15 years 11 months ago
2008
IEEE
The Real-Time Specification for Java (RTSJ) [10] is becoming a popular choice in the world of real-time programming. However, the complexities introduced by RTSJ bring the needs ...
170
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Complete algorithms have been proposed to solve problems modelled as distributed constraint optimization (DCOP). However, there are only few attempts to address real world scenari...
128
click to vote
CPHYSICS
2008
15 years 4 months ago
2008
We present wannier90, a program for calculating maximally-localised Wannier functions (MLWF) from a set of Bloch energy bands that may or may not be attached to or mixed with othe...