8780 search results - page 331 / 1756 » On the Feasibility of Consistent Computations |
182
Voted
ESEC
1999
Springer
15 years 11 months ago
1999
Springer
Traditional interprocedural data-flow analysis is performed on whole programs; however, such whole-program analysis is not feasible for large or incomplete programs. We propose fr...
153
click to vote
AAAI
2004
15 years 9 months ago
2004
We describe an innovative solution to the problem of scheduling astronomy observations for the Stratospheric Observatory for Infrared Astronomy, an airborne observatory. The probl...
169
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
Determining if a group of proteins are functionally associated among themselves is an open problem in molecular biology. Within our long term goal of applying Genetic Programming ...
229
Voted
CCE
2008
15 years 7 months ago
2008
The problem of optimal synthesis of an integrated water system is addressed in this work, where water using processes and water treatment operations are combined into a single net...
176
Voted
SIAMJO
2002
15 years 7 months ago
2002
A probability-one homotopy algorithm for solving nonsmooth equations is described. This algorithm is able to solve problems involving highly nonlinear equations, where the norm of ...